Download or read book Formal Techniques in Real Time and Fault Tolerant Systems written by Jan Vytopil and published by Springer Science & Business Media. This book was released on 1991-12-11 with total page 636 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practical realities. The book contains papers on real-time and fault-tolerance issues. Formal logic, process algebra, and action/event models are applied: - to specify and model qualitative and quantitative real-time and fault-tolerant behavior, - to analyze timeliness requirements and consequences of faulthypotheses, - to verify protocols and program code, - to formulate formal frameworks for development of real-time and fault-tolerant systems, - to formulate semantics of languages. The integration and cross-fertilization of real-time and fault-tolerance issues have brought newinsights in recent years, and these are presented in this book.
Download or read book NAPAW 92 written by S. Purushothaman and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 245 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains papers from the North American Process Algebra Workshop, held in Stony Brook, New York, 28 August 1992. This was the first in a proposed series of workshops, intended to increase awareness of process algebras in the United States and Canada, and to promote their use and development. The workshop was held simultaneously with CONCUR 92, the annual conference on concurrency theories. It provided an important forum for the discussion and exchange of ideas, and allowed recent developments in the application of algebraic techniques to concurrency theory to be presented. The resulting volume provides a good cross-section of current research work in Canada, USA and Europe. Among the specific topics covered are: real-time calculi and expansion theorems; modal logics in timed process algebra; process communication environment; a process calculus with incomparable priorities; exception handling in process algebra; bisimulations on observation structures; computing ready simulations efficiently; analysis of value-passing CCS agents with infinite sorts; an extension of the testing method for processes passing infinite values; constructive semantics; a causality-based semantics for CCS. NAPAW 92 provides an comprehensive overview of this important, up-and-coming area of computer science. It will provide essential reading for both postgraduate students and researchers in industry and academia.
Download or read book CONCUR 91 written by Jos C.M. Baeten and published by Springer Science & Business Media. This book was released on 1991-08-14 with total page 564 pages. Available in PDF, EPUB and Kindle. Book excerpt: CONCUR'91 is the second international conference on concurrency theory, organized in association with the NFI project Transfer. It is a sequel to the CONCUR'90 conference. Its basic aim is to communicate ongoing work in concurrency theory. This proceedings volume contains 30 papers selected for presentation at the conference (from 71 submitted) together with four invited papers and abstracts of the other invited papers. The papers are organized into sections on process algebras, logics and model checking, applications and specification languages, models and net theory, design and real-time, tools and probabilities, and programming languages. The proceedings of CONCUR'90 are available asVolume 458 of Lecture Notes in Computer Science.
Download or read book Theoretical Aspects of Computing ICTAC 2004 written by Zhiming Liu and published by Springer. This book was released on 2005-02-22 with total page 574 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects of Computing, ICTAC 2004. The 34 revised full papers presented together with 4 invited contributions were carefully selected from 111 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on concurrent and distributed systems, model integration and theory unification, program reasoning and testing, verification, theories of programming and programming languages, real-time and co-design, and automata theory and logics.
Download or read book Formal Techniques in Real time and Fault tolerant Systems written by and published by . This book was released on 1991 with total page 640 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book NAPAW 92 written by Sahasranaman Purushothaman and published by Springer. This book was released on 1993 with total page 260 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Techniques and Applications for Mobile Commerce written by G. Wanner and published by IOS Press. This book was released on 2008-01-09 with total page 192 pages. Available in PDF, EPUB and Kindle. Book excerpt: Mobile Commerce (M-Commerce) comprises applications and services that are accessible from Internet-enabled mobile devices. It involves new technologies, services and business models. While it is different from traditional e-Commerce it can also be seen as an extension of e-Commerce in the sense that it, among others, makes e-Commerce available in a modern way to new application areas and to a new set of customers. The Internet is on its way to leave traces in all aspects of our life independently of where we are. Already today, mobile phones and PDAs are an indispensable part of our life as a source for all kinds of information and services and, especially, as our permanently available interface to our environment. Very soon they will turn into widespread intelligent assistants capable of anticipating many of our wishes and needs, but, for all these changes to happen, key issues of interoperability, usability, security and privacy still need to be addressed. The Techniques and Applications for Mobile Commerce (TAMoCo) conference series addresses these issues. It provides scientists, practitioners, and students with a platform to discuss the latest trends in the exciting above mentioned areas. This book is structured into three parts; Wireless Technologies for the Extended Enterprise: Current State and Future Developments; E-Service Environments: Aspect-Oriented Techniques and Mobile Devices; and AutoMoCo: Autonomic Computing and Mobile Commerce.
Download or read book written by and published by . This book was released on 1997 with total page 618 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book ECOOP written by and published by . This book was released on 1995 with total page 500 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Handbook of Process Algebra written by J.A. Bergstra and published by Elsevier. This book was released on 2001-03-16 with total page 1357 pages. Available in PDF, EPUB and Kindle. Book excerpt: Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It is a subject that concurrently touches many topic areas of computer science and discrete math, including system design notations, logic, concurrency theory, specification and verification, operational semantics, algorithms, complexity theory, and, of course, algebra.This Handbook documents the fate of process algebra since its inception in the late 1970's to the present. It is intended to serve as a reference source for researchers, students, and system designers and engineers interested in either the theory of process algebra or in learning what process algebra brings to the table as a formal system description and verification technique. The Handbook is divided into six parts spanning a total of 19 self-contained Chapters. The organization is as follows. Part 1, consisting of four chapters, covers a broad swath of the basic theory of process algebra. Part 2 contains two chapters devoted to the sub-specialization of process algebra known as finite-state processes, while the three chapters of Part 3 look at infinite-state processes, value-passing processes and mobile processes in particular. Part 4, also three chapters in length, explores several extensions to process algebra including real-time, probability and priority. The four chapters of Part 5 examine non-interleaving process algebras, while Part 6's three chapters address process-algebra tools and applications.
Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1992 with total page 1556 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Theoretical Aspects of Computing ICTAC 2005 written by Dang Van Hung and published by Springer Science & Business Media. This book was released on 2005-10-04 with total page 628 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the Second International Colloquium on Theoretical Aspects of Computing, ICTAC 2005 held in Hanoi, Vietnam, in October 2005. The 35 revised full papers presented together with 5 invited talks and a summary of 5 tutorials were carefully reviewed and selected from 122 submissions. The papers are organized in topical sections on formal languages, computer science logics, program construction, real-time systems, concurrency and refinement, software security, quantitative logics, object-orientation and component systems, model-checking and algorithms, and applied logics and computing theory.
Download or read book Fundamenta Informaticae written by Polskie Towarzystwo Matematyczne and published by . This book was released on 2004 with total page 880 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Mathematical Reviews written by and published by . This book was released on 2007 with total page 1164 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Algebraic Methodology and Software Technology written by Teodor Rus and published by Springer. This book was released on 2003-06-26 with total page 556 pages. Available in PDF, EPUB and Kindle. Book excerpt: The AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in Iowa City, Iowa,and aimed at setting the development of software technology on a mathematical basis. The virtue of the software technology en- sioned by AMAST is the capability to produce software that has the following properties: (a) it is correct and its correctness can be proved mathematically, (b) it is safe, such that it can be used in the implementation of critical systems, (c) it is portable, i. e. , it is independent of computing platforms and language generations, and (d) it is evolutionary, i. e. , it is self-adaptable and evolves with the problem domain. Ten years later a myriad of workshops, conferences, and researchprogramsthat sharethe goalsof the AMAST movementhaveoccurred. This can be taken as proof that the AMAST vision is right. However, often the myriad of workshops, conferences, and research programs lack the clear obj- tives and the coordination of their goals towards the software technology en- sioned by AMAST. This can be taken as a proof that AMAST is still necessary.
Download or read book Specification of Parallel Algorithms written by Guy E. Blelloch and published by American Mathematical Soc.. This book was released on 1994 with total page 413 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains papers presented at the DIMACS workshop on Specification of Parallel Algorithms, held in May 1994 at Princeton University. The goal of the workshop was to bring together some of the best researchers in parallel languages, algorithms, and systems to present and discuss recent developments in their areas of expertise. Among the topics discussed were new specification techniques for concurrent and distributed systems, behavioral and operational specification techniques, new parallel language and system abstractions, novel concurrent architectures and systems, large-scale parallel systems, specification tools and environments, and proof techniques for concurrent systems.
