"This book constitutes the refereed proceedings of the 1st IFIP Entertainment Computing Symposium held in Milan, Italy on September 7-10, 2008. The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; ..."
"Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the ..."
"Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object-o ..."
"This book constitutes the refereed proceedings of the 1st IFIP Entertainment Computing Symposium held in Milan, Italy on September 7-10, 2008. The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; ..."
IFIP Advances in Information and Communication Technology Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6. 1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 10 (2013, E-book) by PaoloCiancarini, Alessandro Fantechi, Roberto Gorrieri 436 Pages, Published 2013 by Springer ISBN-13: 978-0-387-35562-7, ISBN: 0-387-35562-6
"References [1] M. Björkander, Mapping IDL to SDL, Telelogic AB, 1997. [2] M.
Born, A. Hoffmann, M. Winkler, J. Fischer, N. Fischbeck, Towards a Behavioural
Description of ODL, Proceedings of TINA 97 Conference, Chile. [3] The Common
Object Request Broker Architecture and Specification: Revision 2.0, Object
Management Group, Inc., Framingham MA., July 1995. [4] M. Kolberg and E.
Magill: Service and Feature Interactions in TINA, subm ..."
Coordination Languages and Models : 1st International Conference Coordination '96, Cesena, Italy, April 1996 : Proceedings (Lecture Notes in Computer Science, 1061) by PaoloCiancarini, Chris Hankin Paperback, Published 1996 by Springer Verlag ISBN-13: 978-0-387-61052-8, ISBN: 0-387-61052-9
"I I These Lecture Notes are intended as an introduction to the theoretical formulation and computational aspects of the molecular energy transfer processes which take place in an increasingly sophisticated range of molecular scattering experiments. They are directed to chemistry graduate students and emphasize the quantum mechanical approach, with little or no attention to classical and semi classical treatments or to formal presentati ..."
"Visualization in scientific computing is getting more and more attention from many people. Especially in relation with the fast increase in computing power, graphic tools are required in many cases for interpreting and presenting the results of various simulations, or for analyzing physical phenomena. This volume contains 18 papers selected from the 26 papers presented at the first workshop organized by the Eurographics Working Group on ..."
Coordination Models and Languages 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Lecture Notes in ... / Programming and Software Engineering) by PaoloCiancarini, Herbert Wiklicky Paperback, 299 Pages, Published 2006 by Springer ISBN-13: 978-3-540-34694-4, ISBN: 3-540-34694-5
"This book constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, COORDINATION 2006, held in Bologna, Italy, June 2006. The 17 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics addressed are component connectors, negotiation in service-oriented computing, process algebraic specification, workflow patt ..."
Coordination Languages and Models First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings. (Lecture Notes in Computer Science) by PaoloCiancarini, Chris Hankin, Coordination '96 Paperback, 452 Pages, Published 1996 by Springer ISBN-13: 978-3-540-61052-6, ISBN: 3-540-61052-9
"This book constitutes the refereed proceedings of the First International Conference on Coordination Languages and Models, COORDINATION '96, held in Cesena, Italy in April 1996. Over the last few years, a new class of models, formalisms, and mechanisms for describing concurrent and distributed computations has emerged. A characteristic feature of these coordination languages and models is that they are based on (generative) communicatio ..."
"Since the 1980s, software agents and multi-agent systems have grown into what is now one of the most active areas of research and development activity in computing generally. One of the most important reasons for the current intensity of interest in the agent-based computing paradigm certainly is that the concept of an agent as an autonomous system, capable of interacting with other agents in order to satisfy ..."
"This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context of defence and security applications. In addition, important business and economic aspects are discussed, with a particular focus on cost/benefit analysis, new business models, organizational evolution, and business intelligence systems. The contents are based on presentations deli ..."
"One of the most important reasons for the current intensity of interest in agent technology is that the concept of an agent, as an autonomous system capable of interacting with other agents in order to satisfy its design objectives, is a natural one for software designers. Just as we can understand many systems as being composed of essentially passive objects, which have a state and upon which we can perform ..."
"This volume presents carefully refereed versions of the best papers presented at the Workshop on Models and Languages for Coordination of Parallelism and Distribution, held during ECOOP '94 in Bologna, Italy in July 1994.Recently a new class of models and languages for distributed and parallel programming has evolved; all these models share a few basic concepts: simple features for data description and a smal ..."
"This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context of defence and security applications. In addition, important business and economic aspects are discussed, with a particular focus on cost/benefit analysis, new business models, organizational evolution, and business intelligence systems. The contents are based on presentations deli ..."
"This book contains the best selected papers of two Satellite Events held at the 20th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2016, in November 2016 in Bologna, Italy: The Second International Workshop on Educational Knowledge Management, EKM 2016, and the First Workshop: Detection, Representation and Management of Concept Drift in Linked Open Data, Drift-an-LOD 2016. The 6 revised full papers inc ..."
"This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context of defence and security applications. In addition, important business and economic aspects are discussed, with a particular focus on cost/benefit analysis, new business models, organizational evolution, and business intelligence systems. The contents are based on presentations deli ..."
"This book constitutes the refereed proceedings of the 20th InternationalConference on Knowledge Engineering and Knowledge Management, EKAW 2016,held in Bologna, Italy, in November 2016.The 51 full papers presented were carefully reviewed and selected from 171 submissions. The papers cover all aspects of eliciting, acquiring, modeling, and managing knowledge, the construction of knowledge-intensive systems and services for the Semantic W ..."
Coordination Languages and Models Third International Conference, COORDINATION'99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings (Lecture Notes in Computer Science) by PaoloCiancarini, Alexander L. Wolf Paperback, 426 Pages, Published 1999 by Springer ISBN-13: 978-3-540-65836-8, ISBN: 3-540-65836-X
"We welcome you to Coordination '99, the third in a series of conferences d- icated to an important perspective on the development of complex software systems. That perspective is shared by a growing community of researchers - terested in models, languages, and implementation techniques for coordination. The last decade has seen the emergence of a class of models and languages variously termed "coordination la ..."