Filter
(found 458 products)
Book cover image
The author here presents a detailed explanation of the methodolgy of software reliablity evaluation, and then demonstrates its applications to a commercial loan system, a funds transfer security system, and a payables processing system. Her well-written, practical text enables users to design original software modules, as well as to critically ...
Software Failure Risk: Measurement and Management
The author here presents a detailed explanation of the methodolgy of software reliablity evaluation, and then demonstrates its applications to a commercial loan system, a funds transfer security system, and a payables processing system. Her well-written, practical text enables users to design original software modules, as well as to critically assess commercial software products.
https://magrudy-assets.storage.googleapis.com/9781461363163.jpg
83.990000 USD

Software Failure Risk: Measurement and Management

by Susan A. Sherer
Paperback / softback
Book cover image
Computer Science: The Hardware, Software and Heart of It focuses on the deeper aspects of the two recognized subdivisions of Computer Science, Software and Hardware. These subdivisions are shown to be closely interrelated as a result of the stored-program concept. Computer Science: The Hardware, Software and Heart of It includes ...
Computer Science: The Hardware, Software and Heart of It
Computer Science: The Hardware, Software and Heart of It focuses on the deeper aspects of the two recognized subdivisions of Computer Science, Software and Hardware. These subdivisions are shown to be closely interrelated as a result of the stored-program concept. Computer Science: The Hardware, Software and Heart of It includes certain classical theoretical computer science topics such as Unsolvability (e.g. the halting problem) and Undecidability (e.g. Godel's incompleteness theorem) that treat problems that exist under the Church-Turing thesis of computation. These problem topics explain inherent limits lying at the heart of software, and in effect define boundaries beyond which computer science professionals cannot go beyond. Newer topics such as Cloud Computing are also covered in this book. After a survey of traditional programming languages (e.g. Fortran and C++), a new kind of computer Programming for parallel/distributed computing is presented using the message-passing paradigm which is at the heart of large clusters of computers. This leads to descriptions of current hardware platforms for large-scale computing, such as clusters of as many as one thousand which are the new generation of supercomputers. This also leads to a consideration of future quantum computers and a possible escape from the Church-Turing thesis to a new computation paradigm. The book's historical context is especially helpful during this, the centenary of Turing's birth. Alan Turing is widely regarded as the father of Computer Science, since many concepts in both the hardware and software of Computer Science can be traced to his pioneering research. Turing was a multi-faceted mathematician-engineer and was able to work on both concrete and abstract levels. This book shows how these two seemingly disparate aspects of Computer Science are intimately related. Further, the book treats the theoretical side of Computer Science as well, which also derives from Turing's research. Computer Science: The Hardware, Software and Heart of It is designed as a professional book for practitioners and researchers working in the related fields of Quantum Computing, Cloud Computing, Computer Networking, as well as non-scientist readers. Advanced-level and undergraduate students concentrating on computer science, engineering and mathematics will also find this book useful.
https://magrudy-assets.storage.googleapis.com/9781489994431.jpg
114.450000 USD

Computer Science: The Hardware, Software and Heart of It

Paperback / softback
Book cover image
Environmental Informatics is a fast growing field which deals with all methods from computer science, environmental planning, ecology and related subjects. As well as being an interdisciplinary area, Environmental Informatics provides an interface between all involved professional groups. Monitoring the state of the environment, analysing existing data, presenting the data ...
Environmental Software Systems: IFIP TC5 WG5.11 International Symposium on Environmental Software Systems (ISESS '97), 28 April-2 May 1997, British Columbia, Canada
Environmental Informatics is a fast growing field which deals with all methods from computer science, environmental planning, ecology and related subjects. As well as being an interdisciplinary area, Environmental Informatics provides an interface between all involved professional groups. Monitoring the state of the environment, analysing existing data, presenting the data to scientists and the public, as well as providing decision support are only some of the topics involved. Environmental Informatics is therefore a good foundation for the computer-assisted protection of the environment.
https://magrudy-assets.storage.googleapis.com/9781475751628.jpg
283.500000 USD

Environmental Software Systems: IFIP TC5 WG5.11 International Symposium on Environmental Software Systems (ISESS '97), 28 April-2 May 1997, British Columbia, Canada

Paperback / softback
Book cover image
This handbook is a reference for those interested in information technologies and emerging management practices in China. The emphasis on information technologies and management provides a unique proposition and gives characteristics of flexibility and adoption to diverse audiences. The subject area is a combination of global information technology and management ...
The China Information Technology Handbook
This handbook is a reference for those interested in information technologies and emerging management practices in China. The emphasis on information technologies and management provides a unique proposition and gives characteristics of flexibility and adoption to diverse audiences. The subject area is a combination of global information technology and management along with strategic management of IT. The handbook exploits state-of-the-art and emerging trends in theory and technology. This handbook is primarily designed for a professional and academic audience.
https://magrudy-assets.storage.googleapis.com/9781441945990.jpg
292.950000 USD

The China Information Technology Handbook

Paperback / softback
Book cover image
This book presents the research challenges that are due to the introduction of the 3rd dimension in chips for researchers and covers the whole architectural design approach for 3D-SoCs. Nowadays the 3D-Integration technologies, 3D-Design techniques, and 3D-Architectures are emerging as interesting, truly hot, broad topics. The present book gathers the ...
3D Integration for NoC-based SoC Architectures
This book presents the research challenges that are due to the introduction of the 3rd dimension in chips for researchers and covers the whole architectural design approach for 3D-SoCs. Nowadays the 3D-Integration technologies, 3D-Design techniques, and 3D-Architectures are emerging as interesting, truly hot, broad topics. The present book gathers the recent advances in the whole domain by renowned experts in the field to build a comprehensive and consistent book around the hot topics of three-dimensional architectures and micro-architectures. This book includes contributions from high level international teams working in this field.
https://magrudy-assets.storage.googleapis.com/9781461427483.jpg
167.990000 USD

3D Integration for NoC-based SoC Architectures

Paperback / softback
Book cover image
Mapping Biology Knowledge addresses two key topics in the context of biology, promoting meaningful learning and knowledge mapping as a strategy for achieving this goal. Meaning-making and meaning-building are examined from multiple perspectives throughout the book. In many biology courses, students become so mired in detail that they fail to ...
Mapping Biology Knowledge
Mapping Biology Knowledge addresses two key topics in the context of biology, promoting meaningful learning and knowledge mapping as a strategy for achieving this goal. Meaning-making and meaning-building are examined from multiple perspectives throughout the book. In many biology courses, students become so mired in detail that they fail to grasp the big picture. Various strategies are proposed for helping instructors focus on the big picture, using the `need to know' principle to decide the level of detail students must have in a given situation. The metacognitive tools described here serve as support systems for the mind, creating an arena in which learners can operate on ideas. They include concept maps, cluster maps, webs, semantic networks, and conceptual graphs. These tools, compared and contrasted in this book, are also useful for building and assessing students' content and cognitive skills. The expanding role of computers in mapping biology knowledge is also explored.
https://magrudy-assets.storage.googleapis.com/9781402002731.jpg
73.490000 USD

Mapping Biology Knowledge

by James H. Wandersee, David E. Moody, Kathleen M. Fisher
Paperback / softback
Book cover image
Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. The methods and techniques derived from Organisational Semiotics enable us to study the organisation by examining how information is created and used for communication, coordination and performance of actions towards organisational objectives. The latest development of the ...
Virtual, Distributed and Flexible Organisations: Studies in Organisational Semiotics
Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. The methods and techniques derived from Organisational Semiotics enable us to study the organisation by examining how information is created and used for communication, coordination and performance of actions towards organisational objectives. The latest development of the young discipline and its applications have been reported in this book, which provides a useful guide and a valuable reference to anyone working in the areas of organisational study and information systems development.
https://magrudy-assets.storage.googleapis.com/9789048166039.jpg
208.950000 USD

Virtual, Distributed and Flexible Organisations: Studies in Organisational Semiotics

Paperback / softback
Book cover image
Advances In Digital Government presents a collection of in-depth articles that addresses a representative cross-section of the matrix of issues involved in implementing digital government systems. These articles constitute a survey of both the technical and policy dimensions related to the design, planning and deployment of digital government systems. The ...
Advances in Digital Government: Technology, Human Factors, and Policy
Advances In Digital Government presents a collection of in-depth articles that addresses a representative cross-section of the matrix of issues involved in implementing digital government systems. These articles constitute a survey of both the technical and policy dimensions related to the design, planning and deployment of digital government systems. The research and development projects within the technical dimension represent a wide range of governmental functions, including the provisioning of health and human services, management of energy information, multi-agency integration, and criminal justice applications. The technical issues dealt with in these projects include database and ontology integration, distributed architectures, scalability, and security and privacy. The human factors research emphasizes compliance with access standards for the disabled and the policy articles contain both conceptual models for developing digital government systems as well as real management experiences and results in deploying them. Advances In Digital Government presents digital government issues from the perspectives of different communities and societies. This geographic and social diversity illuminates a unique array of policy and social perspectives, exposing practitioners to new and useful ways of thinking about digital government.
https://magrudy-assets.storage.googleapis.com/9781475784541.jpg
262.490000 USD

Advances in Digital Government: Technology, Human Factors, and Policy

Paperback / softback
Book cover image
As e-learning increases in popularity and reach, more people are taking online courses and need to understand the relevant security issues. This book discusses typical threats to e-learning projects, introducing how they have been and should be addressed.
Security in E-Learning
As e-learning increases in popularity and reach, more people are taking online courses and need to understand the relevant security issues. This book discusses typical threats to e-learning projects, introducing how they have been and should be addressed.
https://magrudy-assets.storage.googleapis.com/9781441937223.jpg
177.450000 USD

Security in E-Learning

by Edgar R. Weippl
Paperback / softback
Book cover image
Optical character recognition (OCR) is the most prominent and successful example of pattern recognition to date. There are thousands of research papers and dozens of OCR products. Optical Character Rcognition: An Illustrated Guide to the Frontier offers a perspective on the performance of current OCR systems by illustrating and explaining ...
Optical Character Recognition: An Illustrated Guide to the Frontier
Optical character recognition (OCR) is the most prominent and successful example of pattern recognition to date. There are thousands of research papers and dozens of OCR products. Optical Character Rcognition: An Illustrated Guide to the Frontier offers a perspective on the performance of current OCR systems by illustrating and explaining actual OCR errors. The pictures and analysis provide insight into the strengths and weaknesses of current OCR systems, and a road map to future progress. Optical Character Recognition: An Illustrated Guide to the Frontier will pique the interest of users and developers of OCR products and desktop scanners, as well as teachers and students of pattern recognition, artificial intelligence, and information retrieval. The first chapter compares the character recognition abilities of humans and computers. The next four chapters present 280 illustrated examples of recognition errors, in a taxonomy consisting of Imaging Defects, Similar Symbols, Punctuation, and Typography. These examples were drawn from large-scale tests conducted by the authors. The final chapter discusses possible approaches for improving the accuracy of today's systems, and is followed by an annotated bibliography. Optical Character Recognition: An Illustrated Guide to the Frontier is suitable as a secondary text for a graduate level course on pattern recognition, artificial intelligence, and information retrieval, and as a reference for researchers and practitioners in industry.
https://magrudy-assets.storage.googleapis.com/9781461372813.jpg
230.990000 USD

Optical Character Recognition: An Illustrated Guide to the Frontier

by Thomas A. Nartker, George Nagy, Stephen V. Rice
Paperback / softback
Book cover image
JR is an extension of the Java programming language with additional concurrency mechanisms based on those in the SR (Synchronizing Resources) programming language. The JR implementation executes on UNIX-based systems (Linux, Mac OS X, and Solaris) and Windows-based systems. It is available free from the JR webpage. This book describes ...
The JR Programming Language: Concurrent Programming in an Extended Java
JR is an extension of the Java programming language with additional concurrency mechanisms based on those in the SR (Synchronizing Resources) programming language. The JR implementation executes on UNIX-based systems (Linux, Mac OS X, and Solaris) and Windows-based systems. It is available free from the JR webpage. This book describes the JR programming language and illustrates how it can be used to write concurrent programs for a variety of applications. This text presents numerous small and large example programs. The source code for all programming examples and the given parts of all programming exercises are available on the JR webpage. Dr. Ronald A. Olsson and Dr. Aaron W. Keen, the authors of this text, are the designers and implementors of JR.
https://magrudy-assets.storage.googleapis.com/9781475788822.jpg
115.490000 USD

The JR Programming Language: Concurrent Programming in an Extended Java

by Aaron W. Keen, Richard Olsson
Paperback / softback
Book cover image
Distributed and Parallel Systems: From Cluster to Grid Computing, is an edited volume based on DAPSYS 2006, the 6th Austrian-Hungarian Workshop on Distributed and Parallel Systems, which is dedicated to all aspects of distributed and parallel computing. The workshop was held in conjunction with the 2nd Austrian Grid Symposium in ...
Distributed and Parallel Systems: From Cluster to Grid Computing
Distributed and Parallel Systems: From Cluster to Grid Computing, is an edited volume based on DAPSYS 2006, the 6th Austrian-Hungarian Workshop on Distributed and Parallel Systems, which is dedicated to all aspects of distributed and parallel computing. The workshop was held in conjunction with the 2nd Austrian Grid Symposium in Innsbruck, Austria in September 2006. This book is designed for a professional audience composed of practitioners and researchers in industry. It is also suitable for advanced-level students in computer science.
https://magrudy-assets.storage.googleapis.com/9781441943484.jpg
229.950000 USD

Distributed and Parallel Systems: From Cluster to Grid Computing

Paperback / softback
Book cover image
Business Component-Based Software Engineering, an edited volume, aims to complement some other reputable books on CBSE, by stressing how components are built for large-scale applications, within dedicated development processes and for easy and direct combination. This book will emphasize these three facets and will offer a complete overview of some ...
Business Component-Based Software Engineering
Business Component-Based Software Engineering, an edited volume, aims to complement some other reputable books on CBSE, by stressing how components are built for large-scale applications, within dedicated development processes and for easy and direct combination. This book will emphasize these three facets and will offer a complete overview of some recent progresses. Projects and works explained herein will prompt graduate students, academics, software engineers, project managers and developers to adopt and to apply new component development methods gained from and validated by the authors. The authors of Business Component-Based Software Engineering are academic and professionals, experts in the field, who will introduce the state of the art on CBSE from their shared experience by working on the same projects. Business Component-Based Software Engineering is designed to meet the needs of practitioners and researchers in industry, and graduate-level students in Computer Science and Engineering.
https://magrudy-assets.storage.googleapis.com/9781461354291.jpg
178.490000 USD

Business Component-Based Software Engineering

Paperback / softback
Book cover image
In the continued quest for increased economic benefits from our water resources, numerous structures and operating policies for controlling the river flow have been built and implemented. These structures and associated operating policies can facilitate navigation; they can provide greater quantities of reliable water supplies to meet agricultural, industrial and ...
Restoration of Degraded Rivers: Challenges, Issues and Experiences
In the continued quest for increased economic benefits from our water resources, numerous structures and operating policies for controlling the river flow have been built and implemented. These structures and associated operating policies can facilitate navigation; they can provide greater quantities of reliable water supplies to meet agricultural, industrial and municipal water demands; they can generate hydroelectric power and energy; and they can provide increased flood protection, recreation, and other benefits. Over the past half-century we have converted many of our rivers into engineered waterways. These straightened, often periodically dredged, engineered rivers are complete with dikes, reservoirs, weirs, and diversion canals. All this engineering has enhanced economic development. However, as rivers and their floodplains become stressed from the excessive use and misuse of their resources, their contribution to economic development can be threatened. Evidence of economic and ecological degradation, especially in relatively large river systems such as the Danube, the Mississippi, the Rhine, and the Volga, has increased our appreciation of beneficial roles natural aquatic and terrestrial ecosystems play in water quantity and quality management. We have recognized the need to pay more attention to letting nature help us regulate water quantity and quality rather than working against nature and its variabilities and uncertainties. Today there are efforts underway in many developed river basins to 'de engineer' or return these straightened and controlled rivers to a more natural state.
https://magrudy-assets.storage.googleapis.com/9789048149919.jpg
366.450000 USD

Restoration of Degraded Rivers: Challenges, Issues and Experiences

Paperback / softback
Book cover image
An Application Science For Multi-Agent Systems addresses the complexity of choosing which multi-agent control technologies are appropriate for a given problem domain or a given application. Without such knowledge, when faced with a new application domain, agent developers must rely on past experience and intuition to determine whether a multi-agent ...
An Application Science for Multi-Agent Systems
An Application Science For Multi-Agent Systems addresses the complexity of choosing which multi-agent control technologies are appropriate for a given problem domain or a given application. Without such knowledge, when faced with a new application domain, agent developers must rely on past experience and intuition to determine whether a multi-agent system is the right approach, and if so, how to structure the agents, how to decompose the problem, and how to coordinate the activities of the agents, and so forth. This unique collection of contributions, written by leading international researchers in the agent community, provides valuable insight into the issues of deciding which technique to apply and when it is appropriate to use them. The contributions also discuss potential trade-offs or caveats involved with each decision. An Application Science For Multi-Agent Systems is an excellent reference for anyone involved in developing multi-agent systems.
https://magrudy-assets.storage.googleapis.com/9781475779233.jpg
83.990000 USD

An Application Science for Multi-Agent Systems

Paperback / softback
Book cover image
Statements in C, like statements in any other programming language, consist almost entirely of expressions and special reserved words. Declarations in C, unlike declarations in other languages, also contain arbitrary expressions. Thus, studying the means by which C expressions are constructed and evaluated is especially important-particularly since the number of ...
Elements of C
Statements in C, like statements in any other programming language, consist almost entirely of expressions and special reserved words. Declarations in C, unlike declarations in other languages, also contain arbitrary expressions. Thus, studying the means by which C expressions are constructed and evaluated is especially important-particularly since the number of permissible C operators is so large. Since all of the operands in a C expression (excluding constants) must be properly declared before they are used, and since declarations themselves contain expressions, the teaching of C involves the following chicken-and-egg problem: Should one begin by considering only elementary declarations, in which case the topic of expression construction and evaluation cannot be fully treated in one place, because the operators that pertain to the more complex objects-like pointers and structures (whose declarations have not yet been introduced)--have not yet been covered, or should one postpone entirely the issue of how decla- rations are written (merely assuming that all of the objects under discussion have been properly declared) in order to fully treat all types of operands and operators in one comprehensive discussion? If the student is encouraged to begin writing programs immediately, the former choice is mandatory, because even the most elementary programs must vII Preface viii contain proper declarations. Thus, most C textbooks postpone the discussion of objects like arrays, structures, and pointers (and of the operators that pertain to them) until the second half of the book is reached.
https://magrudy-assets.storage.googleapis.com/9781461292715.jpg
83.990000 USD

Elements of C

by Morton H. Lewin
Paperback / softback
Book cover image
The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment process. Different notations are mandatory because different aspects of the Software System have to be tackled. A strong development process is mandatory as well because without a strong organization ...
Formal Methods for Embedded Distributed Systems: How to master the complexity
The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment process. Different notations are mandatory because different aspects of the Software System have to be tackled. A strong development process is mandatory as well because without a strong organization we cannot warrantee the system will meet its requirements. Unfortunately, much more is needed! The different notations that can be used must all possess at least one property: formality. The development process must also have important properties: a exha- tive coverage of the development phases, and a set of well integrated support tools. In Computer Science it is now widely accepted that only formal notations can guarantee a perfect de?ned meaning. This becomes a more and more important issue since software systems tend to be distributed in large systems (for instance in safe public transportation systems), and in small ones (for instance numerous processors in luxury cars). Distribution increases the complexity of embedded software while safety criteria get harder to be met. On the other hand, during the past decade Software Engineering techniques have been improved a lot, and are now currently used to conduct systematic and rigorous development of large software systems. UML has become the de facto standard notation for documenting Software Engineering projects. UML is supported by many CASE tools that offer graphical means for the UML notation.
https://magrudy-assets.storage.googleapis.com/9781441954596.jpg
177.450000 USD

Formal Methods for Embedded Distributed Systems: How to master the complexity

Paperback / softback
Book cover image
The complexity of most real-time and embedded systems often exceeds that of other types of systems since, in addition to the usual spectrum of problems inherent in software, they need to deal with the complexities of the physical world. That world-as the proverbial Mr. Murphy tells us-is an unpredictable and ...
UML for Real: Design of Embedded Real-Time Systems
The complexity of most real-time and embedded systems often exceeds that of other types of systems since, in addition to the usual spectrum of problems inherent in software, they need to deal with the complexities of the physical world. That world-as the proverbial Mr. Murphy tells us-is an unpredictable and often unfriendly place. Consequently, there is a very strong motivation to investigate and apply advanced design methods and technologies that could simplify and improve the reliability of real-time software design and implementation. As a result, from the first versions of UML issued in the mid 1990's, designers of embedded and real-time systems have taken to UML with vigour and enthusiasm. However, the dream of a complete, model-driven design flow from specification through automated, optimised code generation, has been difficult to realise without some key improvements in UML semantics and syntax, specifically targeted to the real-time systems problem. With the enhancements in UML that have been proposed and are near standardisation with UML 2. 0, many of these improvements have been made. In the Spring of 2003, adoption of a formalised UML 2. 0 specification by the members of the Object Management Group (OMG) seems very close. It is therefore very appropriate to review the status of UML as a set of notations for embedded real-time systems - both the state of the art and best practices achieved up to this time with UML of previous generations - and where the changes embodied in the 2.
https://magrudy-assets.storage.googleapis.com/9781441953681.jpg
261.450000 USD

UML for Real: Design of Embedded Real-Time Systems

Paperback / softback
Book cover image
New Algorithms, Architectures and Applications for Reconfigurable Computing consists of a collection of contributions from the authors of some of the best papers from the Field Programmable Logic conference (FPL'03) and the Design and Test Europe conference (DATE'03). In all, seventy-nine authors, from research teams from all over the world, ...
New Algorithms, Architectures and Applications for Reconfigurable Computing
New Algorithms, Architectures and Applications for Reconfigurable Computing consists of a collection of contributions from the authors of some of the best papers from the Field Programmable Logic conference (FPL'03) and the Design and Test Europe conference (DATE'03). In all, seventy-nine authors, from research teams from all over the world, were invited to present their latest research in the extended format permitted by this special volume. The result is a valuable book that is a unique record of the state of the art in research into field programmable logic and reconfigurable computing. The contributions are organized into twenty-four chapters and are grouped into three main categories: architectures, tools and applications. Within these three broad areas the most strongly represented themes are coarse-grained architectures; dynamically reconfigurable and multi-context architectures; tools for coarse-grained and reconfigurable architectures; networking, security and encryption applications. Field programmable logic and reconfigurable computing are exciting research disciplines that span the traditional boundaries of electronic engineering and computer science. When the skills of both research communities are combined to address the challenges of a single research discipline they serve as a catalyst for innovative research. The work reported in the chapters of this book captures that spirit of that innovation.
https://magrudy-assets.storage.googleapis.com/9781441952646.jpg
209.990000 USD

New Algorithms, Architectures and Applications for Reconfigurable Computing

Paperback / softback
Book cover image
Computer-Aided Innovation (CAI) is emerging as a strategic domain of research and application to support enterprises throughout the overall innovation process. The 5.4 Working Group of IFIP aims at defining the scientific foundation of Computer Aided Innovation systems and at identifying state of the art and trends of CAI tools ...
Computer-Aided Innovation (CAI): IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy
Computer-Aided Innovation (CAI) is emerging as a strategic domain of research and application to support enterprises throughout the overall innovation process. The 5.4 Working Group of IFIP aims at defining the scientific foundation of Computer Aided Innovation systems and at identifying state of the art and trends of CAI tools and methods. These Proceedings derive from the second Topical Session on Computer- Aided Innovation organized within the 20th World Computer Congress of IFIP. The goal of the Topical Session is to provide a survey of existing technologies and research activities in the field and to identify opportunities of integration of CAI with other PLM systems. According to the heterogeneous needs of innovation-related activities, the papers published in this volume are characterized by multidisciplinary contents and complementary perspectives and scopes. Such a richness of topics and disciplines will certainly contribute to the promotion of fruitful new collaborations and synergies within the IFIP community. Gaetano Cascini th Florence, April 30 20 08 CAI Topical Session Organization The IFIP Topical Session on Computer-Aided Innovation (CAI) is a co-located conference organized under the auspices of the IFIP World Computer Congress (WCC) 2008 in Milano, Italy Gaetano Cascini CAI Program Committee Chair gaetano.cascini@unifi.it
https://magrudy-assets.storage.googleapis.com/9781441935199.jpg
156.450000 USD

Computer-Aided Innovation (CAI): IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy

Paperback / softback
Book cover image
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics.
Abstraction, Refinement and Proof for Probabilistic Systems
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics.
https://magrudy-assets.storage.googleapis.com/9781441923127.jpg
208.950000 USD

Abstraction, Refinement and Proof for Probabilistic Systems

by Charles Carroll Morgan, Annabelle McIver
Paperback / softback
Book cover image
Decomposition methods aim to reduce large-scale problems to simpler problems. This monograph presents selected aspects of the dimension-reduction problem. Exact and approximate aggregations of multidimensional systems are developed and from a known model of input-output balance, aggregation methods are categorized. The issues of loss of accuracy, recovery of original variables ...
Large-scale Optimization: Problems and Methods
Decomposition methods aim to reduce large-scale problems to simpler problems. This monograph presents selected aspects of the dimension-reduction problem. Exact and approximate aggregations of multidimensional systems are developed and from a known model of input-output balance, aggregation methods are categorized. The issues of loss of accuracy, recovery of original variables (disaggregation), and compatibility conditions are analyzed in detail. The method of iterative aggregation in large-scale problems is studied. For fixed weights, successively simpler aggregated problems are solved and the convergence of their solution to that of the original problem is analyzed. An introduction to block integer programming is considered. Duality theory, which is widely used in continuous block programming, does not work for the integer problem. A survey of alternative methods is presented and special attention is given to combined methods of decomposition. Block problems in which the coupling variables do not enter the binding constraints are studied. These models are worthwhile because they permit a decomposition with respect to primal and dual variables by two-level algorithms instead of three-level algorithms. Audience: This book is addressed to specialists in operations research, optimization, and optimal control.
https://magrudy-assets.storage.googleapis.com/9781441948489.jpg
208.950000 USD

Large-scale Optimization: Problems and Methods

by Vladimir Tsurkov
Paperback / softback
Book cover image
The aim of this book is to present the mathematical theory and the know-how to make computer programs for the numerical approximation of Optimal Control of PDE's. The computer programs are presented in a straightforward generic language. As a consequence they are well structured, clearly explained and can be translated ...
Optimal Control from Theory to Computer Programs
The aim of this book is to present the mathematical theory and the know-how to make computer programs for the numerical approximation of Optimal Control of PDE's. The computer programs are presented in a straightforward generic language. As a consequence they are well structured, clearly explained and can be translated easily into any high level programming language. Applications and corresponding numerical tests are also given and discussed. To our knowledge, this is the first book to put together mathematics and computer programs for Optimal Control in order to bridge the gap between mathematical abstract algorithms and concrete numerical ones. The text is addressed to students and graduates in Mathematics, Mechanics, Applied Mathematics, Numerical Software, Information Technology and Engineering. It can also be used for Master and Ph.D. programs.
https://magrudy-assets.storage.googleapis.com/9789048164981.jpg
208.950000 USD

Optimal Control from Theory to Computer Programs

by Pekka Neittaanmaki, Viorel Arnautu
Paperback / softback
Book cover image
Agriculture has experienced a dramatic change during the past decades. The change has been structural and technological. Structural changes can be seen in the size of current farms; not long ago, agricultural production was organized around small farms, whereas nowadays the agricultural landscape is dominated by large farms. Large farms ...
Advances in Modeling Agricultural Systems
Agriculture has experienced a dramatic change during the past decades. The change has been structural and technological. Structural changes can be seen in the size of current farms; not long ago, agricultural production was organized around small farms, whereas nowadays the agricultural landscape is dominated by large farms. Large farms have better means of applying new technologies, and therefore technological advances have been a driving force in changing the farming structure. New technologies continue to emerge, and their mastery and use in requires that farmers gather more information and make more complex technological choices. In particular, the advent of the Internet has opened vast opportunities for communication and business opportunities within the agricultural com- nity. But at the same time, it has created another class of complex issues that need to be addressed sooner rather than later. Farmers and agricultural researchers are faced with an overwhelming amount of information they need to analyze and synthesize to successfully manage all the facets of agricultural production. This daunting challenge requires new and complex approaches to farm management. A new type of agricultural management system requires active cooperation among multidisciplinary and multi-institutional teams and ref- ing of existing and creation of new analytical theories with potential use in agriculture. Therefore, new management agricultural systems must combine the newest achievements in many scientific domains such as agronomy, economics, mathematics, and computer science, to name a few.
https://magrudy-assets.storage.googleapis.com/9781441945259.jpg
230.990000 USD

Advances in Modeling Agricultural Systems

Paperback / softback
Book cover image
Mastering interoperability in a computing environment consisting of different operating systems and hardware architectures is a key requirement which faces system engineers building distributed information systems. Distributed applications are a necessity in most central application sectors of the contemporary computerized society, for instance, in office automation, banking, manufacturing, telecommunication and ...
Distributed Applications and Interoperable Systems II: IFIP TC6 WG6.1 Second International Working Conference on Distributed Applications and Interoperable Systems (DAIS'99)June 28-July 1, 1999, Helsinki, Finland
Mastering interoperability in a computing environment consisting of different operating systems and hardware architectures is a key requirement which faces system engineers building distributed information systems. Distributed applications are a necessity in most central application sectors of the contemporary computerized society, for instance, in office automation, banking, manufacturing, telecommunication and transportation. This book focuses on the techniques available or under development, with the goal of easing the burden of constructing reliable and maintainable interoperable information systems. The topics covered in this book include: Management of distributed systems; Frameworks and construction tools; Open architectures and interoperability techniques; Experience with platforms like CORBA and RMI; Language interoperability (e.g. Java); Agents and mobility; Quality of service and fault tolerance; Workflow and object modelling issues; and Electronic commerce . The book contains the proceedings of the International Working Conference on Distributed Applications and Interoperable Systems II (DAIS'99), which was held June 28-July 1, 1999 in Helsinki, Finland. It was sponsored by the International Federation of Information Processing (IFIP). The conference program presents the state of the art in research concerning distributed and interoperable systems. This is a topical research area where much activity is currently in progress. Interesting new aspects and innovative contributions are still arising regularly. The DAIS series of conferences is one of the main international forums where these important findings are reported.
https://magrudy-assets.storage.googleapis.com/9781475750089.jpg
235.200000 USD

Distributed Applications and Interoperable Systems II: IFIP TC6 WG6.1 Second International Working Conference on Distributed Applications and Interoperable Systems (DAIS'99)June 28-July 1, 1999, Helsinki, Finland

Paperback / softback
Book cover image
IT Innovation for Adaptability and Competitiveness addresses the topic of IT innovations that can further an organization's ability to adapt and be competitive. Thus we address the problem at an earlier starting point, that is, the emergence of something innovative in an organization, applied to that organization, and its process ...
IT Innovation for Adaptability and Competitiveness: IFIP TC8/WG8.6 Seventh Working Conference on IT Innovation for Adaptability and Competitiveness May 30-June 2, 2004, Leixlip, Ireland
IT Innovation for Adaptability and Competitiveness addresses the topic of IT innovations that can further an organization's ability to adapt and be competitive. Thus we address the problem at an earlier starting point, that is, the emergence of something innovative in an organization, applied to that organization, and its process of being diffused and accepted internally. Topics covered in the book include: -The role of IT in organizational innovation, -Innovating systems development & process, -Assessing innovation drivers, -Innovation adoption, -New environments, new innovation practices. This volume contains the edited proceedings of the Seventh Working Conference on IT Innovation for Adaptability and Competitiveness, which was sponsored by the International Federation for Information Processing (IFIP) Working Group 8.6 and held at Intel Corporation, Leixlip, Ireland in May-June 2004.
https://magrudy-assets.storage.googleapis.com/9781475780277.jpg
103.950000 USD

IT Innovation for Adaptability and Competitiveness: IFIP TC8/WG8.6 Seventh Working Conference on IT Innovation for Adaptability and Competitiveness May 30-June 2, 2004, Leixlip, Ireland

Paperback / softback
Book cover image
Automated Configuration has long been the subject of intensive research, especially in Artificial Intelligence. It is a pervasive problem to be solved, and it is a good test of various knowledge representation and reasoning techniques. The problem shows up in applications such as various electrical circuit design, utility computing and ...
Automated Configuration Problem Solving
Automated Configuration has long been the subject of intensive research, especially in Artificial Intelligence. It is a pervasive problem to be solved, and it is a good test of various knowledge representation and reasoning techniques. The problem shows up in applications such as various electrical circuit design, utility computing and even concurrent engineering. Automated Configuration Problem Solving defines the ubiquitous problem, illustrates the various solution techniques, and includes a survey using these techniques from the mid-70's until the mid-90's. During this time, various general approaches were developed, and then become more specialized. This book covers the development of the general problem solving techniques for automated configuration, which are based on both published academic work and patents.
https://magrudy-assets.storage.googleapis.com/9781461445319.jpg
73.490000 USD

Automated Configuration Problem Solving

by Charles J. Petrie
Paperback / softback
Book cover image
Among the most important problems confronting computer science is that of developing a paradigm appropriate to the discipline. Proponents of formal methods - such as John McCarthy, C.A.R. Hoare, and Edgar Dijkstra - have advanced the position that computing is a mathematical activity and that computer science should model itself ...
Program Verification: Fundamental Issues in Computer Science
Among the most important problems confronting computer science is that of developing a paradigm appropriate to the discipline. Proponents of formal methods - such as John McCarthy, C.A.R. Hoare, and Edgar Dijkstra - have advanced the position that computing is a mathematical activity and that computer science should model itself after mathematics. Opponents of formal methods - by contrast, suggest that programming is the activity which is fundamental to computer science and that there are important differences that distinguish it from mathematics, which therefore cannot provide a suitable paradigm. Disagreement over the place of formal methods in computer science has recently arisen in the form of renewed interest in the nature and capacity of program verification as a method for establishing the reliability of software systems. A paper that appeared in Communications of the ACM entitled, `Program Verification: The Very Idea', by James H. Fetzer triggered an extended debate that has been discussed in several journals and that has endured for several years, engaging the interest of computer scientists (both theoretical and applied) and of other thinkers from a wide range of backgrounds who want to understand computer science as a domain of inquiry. The editors of this collection have brought together many of the most interesting and important studies that contribute to answering questions about the nature and the limits of computer science. These include early papers advocating the mathematical paradigm by McCarthy, Naur, R. Floyd, and Hoare (in Part I), others that elaborate the paradigm by Hoare, Meyer, Naur, and Scherlis and Scott (in Part II), challenges, limits and alternatives explored by C. Floyd, Smith, Blum, and Naur (in Part III), and recent work focusing on formal verification by DeMillo, Lipton, and Perlis, Fetzer, Cohn, and Colburn (in Part IV). It provides essential resources for further study. This volume will appeal to scientists, philosophers, and laypersons who want to understand the theoretical foundations of computer science and be appropriately positioned to evaluate the scope and limits of the discipline.
https://magrudy-assets.storage.googleapis.com/9789401047890.jpg
492.450000 USD

Program Verification: Fundamental Issues in Computer Science

Paperback / softback
Book cover image
Engineering tasks are supposed to achieve defined goals under certain project constraints. Example goals of software engineering tasks include achieving a certain functionality together with some level of reliability or performance. Example constraints of software engineering tasks include budget and time limitations or experience limitations of the developers at hand. ...
Identifying Relevant Information for Testing Technique Selection: An Instantiated Characterization Schema
Engineering tasks are supposed to achieve defined goals under certain project constraints. Example goals of software engineering tasks include achieving a certain functionality together with some level of reliability or performance. Example constraints of software engineering tasks include budget and time limitations or experience limitations of the developers at hand. Planning of an engineering project requires the selection of techniques, methods and tools suited to achieve stated goals under given project constraints. This assumes sufficient knowledge regarding the process-product relationships (or effects) of candidate techniques, methods and tools. Planning of software projects suffers greatly from lack of knowledge regarding the process-product relationships of candidate techniques, methods and tools. Especially in the area of testing a project planner is confronted with an abundance of testing techniques, but very little knowledge regarding their effects under varying project conditions. This book offers a novel approach to addressing this problem: First, based on a comprehensive initial characterization scheme (see chapter 7) an overview of existing testing techniques and their effects under varying conditions is provided to guide the selection of testing approaches. Second, the optimisation of this knowledge base is suggested based on experience from experts, real projects and scientific experiments (chapters 8, 9, and 10). This book is of equal interest to practitioners, researchers and students. Practitioners interested in identifying ways to organize their company-specific knowledge about testing could start with the schema provided in this book, and optimise it further by applying similar strategies as offered in chapters 8 and 9.
https://magrudy-assets.storage.googleapis.com/9781461350675.jpg
157.490000 USD

Identifying Relevant Information for Testing Technique Selection: An Instantiated Characterization Schema

by Victor R. Basili, Natalia Juristo, Sira Vegas
Paperback / softback
Book cover image
This book contains selected papers from the ONR Workshop on Parallel Algorithm Design and Program Transformation that took place at New York University, Courant Institute, from Aug. 30 to Sept. 1, 1991. The aim of the workshop was to bring together computer scientists in transformational programming and parallel algorithm design ...
Parallel Algorithm Derivation and Program Transformation
This book contains selected papers from the ONR Workshop on Parallel Algorithm Design and Program Transformation that took place at New York University, Courant Institute, from Aug. 30 to Sept. 1, 1991. The aim of the workshop was to bring together computer scientists in transformational programming and parallel algorithm design in order to encourage a sharing of ideas that might benefit both communities. It was hoped that exposurt: to algorithm design methods developed within the algorithm community would stimulate progress in software development for parallel architectures within the transformational community. It was also hoped that exposure to syntax directed methods and pragmatic programming concerns developed within the transformational community would encourage more realistic theoretical models of parallel architectures and more systematic and algebraic approaches to parallel algorithm design within the algorithm community. The workshop Organizers were Robert Paige, John Reif, and Ralph Wachter. The workshop was sponsored by the Office of Naval Research under grant number N00014-90-J-1421. There were 44 attendees, 28 presentations, and 5 system demonstrations. All attendees were invited to submit a paper for publication in the book. Each submitted paper was refereed by participants from the Workshop. The final decision on publication was made by the editors. There were several motivations for holding the workshop and for publishing papers contributed by its participants. Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success.
https://magrudy-assets.storage.googleapis.com/9781475782752.jpg
178.490000 USD

Parallel Algorithm Derivation and Program Transformation

by Robert A. Paige
Paperback / softback
Page 1 of 16