Page 5
Page 5
Enabling Semantic Web Services : The Web Service Modeling Ontology
Service-oriented computing has become one of the predominant factors in current IT research and development. Web services seem to be the middleware solution of the future for highly interoperable distributed software solutions. In parallel, research on the Semantic Web provides the results required to exploit distributed machine-processable data. To combine these two research lines into industrial-strength applications, a number of research projects have been set up by organizations like W3C and the EU. After a brief presentation of the underlying basic technologies and standards of the World Wide Web, the Semantic Web, and Web Services, they detail all the elements of WSMO from basic concepts to possible applications in e-commerce, e-government and e-banking, and they also describe its relation to other approaches like OWL-S or WSDL-S.
Embedded Computer Systems : Architectures, Modeling, and Simulation; 20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2020, held in Samos, Greece, in July 2020.* The 16 regular papers presented were carefully reviewed and selected from 35 submissions. In addition, 9 papers from two special sessions were included, which were organized on topics of current interest: innovative architectures for security and European projects on embedded and high performance computing for health applications.
Dynamic Analysis of Petri Net-Based Discrete Systems
Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For example, execution of an object-oriented p- gram can be considered as parallel functioning of the co-operating objects; all modern operating systems are multitasking, and the software tends to be multithread; many complex calculation tasks are solved in distributed way. But designers of the control systems probably have to face parallelism in more evident and direct way. Controllers rarely deal with just one controlled object. Usually a system of several objects is to be controlled, and then the control algorithm naturally turns to be parallel. So, classical and very deeply investigated model of discrete device, Finite State Machine, is not expressive enough for the design of control devices and systems. Theoretically in most of cases behavior of a controller can be described by an FSM, but usually it is not convenient; such FSM description would be much more complex, than a parallel specification (even as a network of several communicating FSMs).
Drug Courts : A New Approach to Treatment and Rehabilitation
This cutting-edge sourcebook is ideal for physicians, addiction treatment practitioners, probation officers, testing programs, judges and anyone else facing challenges in practice with the treatment of drug court participants. This book includes knowledge in treatment of addiction and withdrawal, treatment for patients with dual diagnoses of mental illness and addiction, and treatment of diseases associated with drug use, such as tuberculosis, hepatitis, and HIV infection. Unparalleled discussions of the drug court system and the medical problems of drug court patients are presented.
Domain Decomposition Methods in Science and Engineering XVII
This volume contains a selection of papers presented at the 17th International Conference on Domain Decomposition Methods in Science and Engineering held at St. Wolfgang / Strobl, Austria, July 3 - 7, 2006. Domain decomposition is an active, interdisciplinary research area concerned with the development, analysis, and implementation of coupling and decoupling strategies in mathematical and computational models. Domain decomposition techniques provide efficient tools for treating problems in all Computational Sciences. The reader will become familiar with the newest domain decomposition technologies and their use for modeling and simulating of complex problems from different fields of applications.
Domain Decomposition Methods in Science and Engineering
Domain decomposition is an active, interdisciplinary research area that is devoted to the development, analysis and implementation of coupling and decoupling strategies in mathematics, computational science, engineering and industry.This book special focus has been on numerical analysis, computational issues,complex heterogeneous problems, industrial problems, and software development.
Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations
Domain decomposition methods are divide and conquer methods for the parallel and computational solution of partial differential equations of elliptic or parabolic type. They include iterative algorithms for solving the discretized equations, techniques for non-matching grid discretizations and techniques for heterogeneous approximations. This book serves as an introduction to this subject, with emphasis on matrix formulations. The topics studied include Schwarz, substructuring, Lagrange multiplier and least squares-control hybrid formulations, multilevel methods, non-self adjoint problems, parabolic equations, saddle point problems (Stokes, porous media and optimal control), non-matching grid discretizations, heterogeneous models, fictitious domain methods, variational inequalities, maximum norm theory, eigenvalue problems, optimization problems and the Helmholtz scattering problem. Selected convergence theory is included.
Distributed embedded systems : Design, middleware and resources ; IFIP 20th World computer congress, TC10 Working conference on distributed and parallel embedded systems (DIPES 2008), September 7-10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Distributed computing and internet technology ; 17th International Conference, ICDCIT 2021, Bhubaneswar, India, January 7–10, 2021, Proceedings
This book constitutes the proceedings of the 17th International Conference on Distributed Computing and Internet Technology, ICDCIT 2020, held in Bhubaneswar, India, in January 2021. The 13 full papers presented together with 4 short papers were carefully reviewed and selected from 99 submissions. The papers were organized in topical sections named: invited talks, cloud computing and networks, distributed algorithms, concurrency and parallelism, graph algorithms and security, social networks and machine learning, and short papers.
Distributed and Parallel Systems : In Focus : Desktop Grid Computing
In this book contributors investigate parallel and distributed techniques, algorithms, models and applications; present innovative software tools, environments and middleware; focus on various aspects of grid computing; and introduce novel methods for development, deployment, testing and evaluation.
Distributed and Parallel Systems : From Cluster to Grid Computing
This book devoted to general algorithmic aspects of parallel and distributed computing and grid computing. This book includes a good overview of recent advances in various aspects of parallel and distributed computing. This volume also includes various crucial questions tied to the infrastructure and advanced problems and challenges of grid computing.
Distributed and Parallel Systems : Cluster and Grid Computing
DAPSY (Austrian-Hungarian Workshop on Distributed and Parallel Systems) is an international conference series with biannual events dedicated to all aspects of distributed and parallel computing. DAPSY started under a different name in 1992 (Sopron, Hungary) as regional meeting of Austrian and Hungarian researchers focusing on transputer-related parallel computing; a hot research topic of that time. A second workshop followed in 1994 (Budapest, Hungary). As transputers became history, the scope of the workshop widened to include parallel and distributed systems in general and the 1st DAPSYS in 1996 (Miskolc, Hungary) reflected the results of these changes.
Distributed and parallel computing ; 6th International conference on algorithms and architectures for parallel processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings
There are many applications that require parallel and distributed processing to allow complicated engineering, business and research problems to be solved in a reasonable time. Parallel and distributed processing is able to improve company profit, lower costs of design, production, and deployment of new technologies, and create better business environments. The major lesson learned by car and aircraft engineers, drug manufacturers, genome researchers and other specialist is that a computer system is a very powerful tool that is able to help them solving even more complicated problems. That has led computing specialists to new computer system architecture and exploiting parallel computers, clusters of clusters, and distributed systems in the form of grids.
Dissemination of information in communication networks : Broadcasting, gossiping, leader election, and fault-tolerance
Preface Due to the development of hardware technologies (such as VLSI) in the early 1980s, the interest in parallel and distributive computing has been rapidly growingandinthelate1980sthestudyofparallelalgorithmsandarchitectures became one of the main topics in computer science. To bring the topic to educatorsandstudents,severalbooksonparallelcomputingwerewritten. The involvedtextbook“IntroductiontoParallelAlgorithmsandArchitectures”by F. Thomson Leighton in 1992 was one of the milestones in the development of parallel architectures and parallel algorithms. But in the last decade or so the main interest in parallel and distributive computing moved from the design of parallel algorithms and expensive parallel computers to the new distributive reality – the world of interconnected computers that cooperate (often asynchronously) in order to solve di?erent tasks.
Dimension Reduction of Large-Scale Systems ; Proceedings of a Workshop held in Oberwolfach, Germany, October 19-25, 2003
In the past decades, model reduction has become an ubiquitous tool in analysis and simulation of dynamical systems, control design, circuit simulation, structural dynamics, CFD, and many other disciplines dealing with complex physical models. The aim of this book is to survey some of the most successful model reduction methods in tutorial style articles and to present benchmark problems from several application areas for testing and comparing existing and new algorithms. As the discussed methods have often been developed in parallel in disconnected application areas.
Digital Fabrication in Interior Design : Body, Object, Enclosure
Draws together emerging topics of making that span primary forms of craftsmanship to digital fabrication in order to theoretically and practically analyze the innovative and interdisciplinary relationship between digital fabrication technology and interior design. The history of making in interior design is aligned with traditional crafts, but a parallel discourse with digital fabrication has yet to be made evident.
DevOps for Digital Leaders : Reignite Business with a Modern DevOps-Enabled Software Factory
In DevOps for Digital Leaders, deep collective experience on both sides of the dev–ops divide informs the global thought leadership and penetrating insights of the authors, all three of whom are cross-portfolio DevOps leaders at CA Technologies. Aruna Ravichandran, Kieran Taylor, and Peter Waterhouse analyze the organizational benefits, costs, freedoms, and constraints of DevOps. They chart the coordinated strategy of organizational change, metrics, lean thinking, and investment that an enterprise must undertake to realize the full potential of DevOps and reach the sweet spot where accelerating code deployments drive increasing customer satisfaction, revenue, and profitability.
Detection of intrusions and malware, and vulnerability assessment ; 17th International Conference, DIMVA 2020, Lisbon, Portugal, June 24–26, 2020, Proceedings
This book constitutes the proceedings of the 17th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2020, held in Lisbon, Portugal, in June 2020.* The 13 full papers presented in this volume were carefully reviewed and selected from 45 submissions. The contributions were organized in topical sections named: vulnerability discovery and analysis; attacks; web security; and detection and containment.
Dependability Modelling under Uncertainty : An Imprecise Probabilistic Approach
Mechatronic design processes have become shorter and more parallelized, induced by growing time-to-market pressure. Methods that enable quantitative analysis in early design stages are required, should dependability analyses aim to influence the design. Due to the limited amount of data in this phase, the level of uncertainty is high and explicit modeling of these uncertainties becomes necessary. This work introduces new uncertainty-preserving dependability methods for early design stages.
Death Threats and Violence : New Research and Clinical Perspectives
Threats of violence—and especially of homicide—are a too-familiar part of modern life, paralleling stressful conditions at home, on the job, on campus, and in relationships. Death Threats and Violence analyzes the meaning and impact of homicidal threats, the means by which they are communicated, and their development from infrequent private occurrence to ongoing social problem.
