A Theory of Distributed Objects


Book Description

Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive use is made of objects interacting through method calls. So far, no general formalism has been proposed for the foundation of such systems. Caromel and Henrio are the first to define a calculus for distributed objects interacting using asynchronous method calls with generalized futures, i.e., wait-by-necessity -- a must in large-scale systems, providing both high structuring and low coupling, and thus scalability. The authors provide very generic results on expressiveness and determinism, and the potential of their approach is further demonstrated by its capacity to cope with advanced issues such as mobility, groups, and components. Researchers and graduate students will find here an extensive review of concurrent languages and calculi, with comprehensive figures and summaries. Developers of distributed systems can adopt the many implementation strategies that are presented and analyzed in detail. Preface by Luca Cardelli




On Learning


Book Description

This is a philosophical work that develops a general theory of ontological objects and object-relations. It does this by examining concepts as acquired dispositions, and then focuses on perhaps the most important of these: the concept of learning. This concept is important because everything that we know and do in the world is predicated on a prior act of learning. A concept can have many meanings and can be used in a number of different ways, and this creates difficulty when considering the nature of objects and the relationships between them. To enable this, David Scott answers a series of questions about concepts in general and the concept of learning in particular. Some of these questions are: What is learning? What different meanings can be given to the notion of learning? How does the concept of learning relate to other concepts, such as innatism, development and progression? The book offers a counter-argument to empiricist conceptions of learning, to the propagation of simple messages about learning, knowledge, curriculum and assessment, and to the denial that values are central to understanding how we live. It argues that values permeate everything: our descriptions of the world, the attempts we make at creating better futures and our relations with other people.




Distributed Objects


Book Description

One of the most influential anthropological works of the last two decades, Alfred Gell’s Art and Agency is a provocative and ambitious work that both challenged and reshaped anthropological understandings of art, agency, creativity and the social. It has become a touchstone in contemporary artifact-based scholarship. This volume brings together leading anthropologists, archaeologists, art historians and other scholars into an interdisciplinary dialogue with Art and Agency, generating a timely re-engagement with the themes, issues and arguments at the heart of Gell’s work, which remains salient, and controversial, in the social sciences and humanities. Extending his theory into new territory – from music to literary technology and ontology to technological change – the contributors do not simply take stock, but also provoke, critically reassessing this important work while using it to challenge conceptual and disciplinary boundaries.




Approximation Theory


Book Description

This concisely written book gives an elementary introduction to a classical area of mathematics—approximation theory—in a way that naturally leads to the modern field of wavelets. The exposition, driven by ideas rather than technical details and proofs, demonstrates the dynamic nature of mathematics and the influence of classical disciplines on many areas of modern mathematics and applications. Key features and topics: * Description of wavelets in words rather than mathematical symbols * Elementary introduction to approximation using polynomials (Weierstrass’ and Taylor’s theorems) * Introduction to infinite series, with emphasis on approximation-theoretic aspects * Introduction to Fourier analysis * Numerous classical, illustrative examples and constructions * Discussion of the role of wavelets in digital signal processing and data compression, such as the FBI’s use of wavelets to store fingerprints * Minimal prerequisites: elementary calculus * Exercises that may be used in undergraduate and graduate courses on infinite series and Fourier series Approximation Theory: From Taylor Polynomials to Wavelets will be an excellent textbook or self-study reference for students and instructors in pure and applied mathematics, mathematical physics, and engineering. Readers will find motivation and background material pointing toward advanced literature and research topics in pure and applied harmonic analysis and related areas.




Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications


Book Description

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line engineering; model-based code generators and compilers; engineering virtualized systems; statistical model checking; risk-based testing; medical cyber-physical systems; scientific workflows; evaluation and reproducibility of program analysis; processes and data integration in the networked healthcare; semantic heterogeneity in the formal development of complex systems. In addition, part I contains a tutorial on automata learning in practice; as well as the preliminary manifesto to the LNCS Transactions on the Foundations for Mastering Change with several position papers. Part II contains information on the industrial track and the doctoral symposium and poster session.




Applications and Theory of Petri Nets 2003


Book Description

The refereed proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN 2003, held in Eindhoven, The Netherlands, in June 2003. The 25 revised full papers presented together with 6 invited contributions were carefully reviewed and selected from 77 submissions. All current issues on research and development in the area of Petri nets are addressed, in particular concurrent systems design and analysis, model checking, networking, business process modeling, formal methods in software engineering, agent systems, systems specification, systems validation, discrete event systems, protocols, and prototyping.




CONCUR 2000 - Concurrency Theory


Book Description

This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their - plications, and of the scienti?c relevance of their foundations. The scope covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include concurrency related aspects of: models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, veri?cation techniques, re?nement te- niques, term and graph rewriting, distributed programming, logic constraint p- gramming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and veri?cation. The ?rst two CONCUR conferences were held in Amsterdam (NL) in 1990 and 1991. The following ones in Stony Brook (USA), Hildesheim (D), Uppsala (S), Philadelphia (USA), Pisa (I), Warsaw (PL), Nice (F), and Eindhoven (NL). The proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, 1466, and 1664.




Formal Modeling: Actors; Open Systems, Biological Systems


Book Description

This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in November 2011. Carolyn Talcott is a leading researcher and mentor of international renown among computer scientists. She has made key contributions to a number of areas of computer science including: semantics and verification of progamming languages; foundations of actor-based systems; middleware, meta-architectures, and systems; Maude and rewriting logic; and computational biology. The 21 papers presented are organized in topical sections named: Essays on Carolyn Talcott; actors and programming languages; cyberphysical systems; middleware and meta-architectures; formal methods and reasoning tools; and computational biology.




Application and Theory of Petri Nets 1999


Book Description

This book constitutes the refereed proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99, held in Williamsburg, Virginia, USA, in June 1999. The 21 revised full papers presented were carefully selected from 45 submissions. Also included are three invited presentations. The book presents state-of-the-art research results on all current aspects of Petri nets as well as advanced applications in a variety of areas.




Formal Aspects of Component Software


Book Description

This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South Korea, in October 2018. The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and selected from 32 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.




Recent Books