This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers pres...
详细信息
ISBN:
(数字)9783642213380
ISBN:
(纸本)9783642213373
This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; experience reports; the future of Ada.
This volume presents the proceedings of the Sixth Workshopon Distributed Algorithms (WDAG 92), held in Haifa, Israel,November 2-4, 1992. WDAG provides a forum for researchersand other parties interested in dis...
详细信息
ISBN:
(数字)9783540474845
ISBN:
(纸本)9783540561880
This volume presents the proceedings of the Sixth Workshop
on Distributed Algorithms (WDAG 92), held in Haifa, Israel,
November 2-4, 1992. WDAG provides a forum for researchers
and other parties interested in distributedalgorithms and
their applications. The aim is to present recent research
results, explore directions for future research, and
identify common fundamental techniques that serve as
building blocks in many distributed algorithms.
Papers in the volume describe original results in all areas
of distributed algorithms and their applications, including
distributed graph algorithms, distributed combinatorial
algorithms, design of network protocols, routing and flow
control, communication complexity, fault-tolerant
distributed algorithms, distributed data structures,
distributed database techniques, replica control protocols,
distributed optimization algorithms, mechanisms for safety
and security in distributed systems, and protocols for
real-time distributed systems.
This volume contains the Proceedings of the Fourth International Conference on Coordination Models and Languages, Coordination 2000. It was held in the wake of three successful earlier conferences whose proceedings we...
详细信息
ISBN:
(数字)9783540452638
ISBN:
(纸本)9783540410201
This volume contains the Proceedings of the Fourth International Conference on Coordination Models and Languages, Coordination 2000. It was held in the wake of three successful earlier conferences whose proceedings were also p- lished in this series, in volumes 1061, 1282 and 1594. The need for increased programmer productivity and rapid development of complex systems provides pragmatic motivation for the development of coordination languages and m- els. The intellectual excitement associated with such endeavors is rooted in the decades-old desire to cope with increasingly higher levels of abstraction. Coordination-based methods provide a clean separation between individual so- ware components and their interactions within the overall software organization. This separation promises to make application development more tractable, to support global analysis, and to enhance software reuse. These are indeed major concerns in the information age, at a time when all aspects of society are relying, to an ever increasing degree, on software systems of unprecedented complexity. Research on coordination methods is likely to play a central role in addressing these technological concerns by changing the software culture around us and by leading to the development of e?ective technical solutions for a broad range of important problems.
This volume presents the proceedings of the 5th International Conference Parallel Architectures and Languages Europe (PARLE '94), held in Athens, Greece in July 1994. PARLE is the main Europe-based event on parall...
详细信息
ISBN:
(数字)9783540484776
ISBN:
(纸本)9783540581840
This volume presents the proceedings of the 5th International Conference Parallel Architectures and Languages Europe (PARLE '94), held in Athens, Greece in July 1994. PARLE is the main Europe-based event on parallel processing. Parallel processing is now well established within the high-performance computing technology and of stategic importance not only to the computer industry, but also for a wide range of applications affecting the whole economy. The 60 full papers and 24 poster presentations accepted for this proceedings were selected from some 200 submissions by the international program committee; they cover the whole field and give a timely state-of-the-art report on research and advanced applications in parallel computing.
This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers presented were careful...
详细信息
ISBN:
(数字)9783642019241
ISBN:
(纸本)9783642019234
This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education.
This book constitutes the refereed proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS 97, held in Lübeck, Germany, in February/March 1997.;The 46 revised full papers includ...
详细信息
ISBN:
(数字)9783540683421
ISBN:
(纸本)9783540626169
This book constitutes the refereed proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS 97, held in Lübeck, Germany, in February/March 1997.;The 46 revised full papers included were carefully selected from a total of 139 submissions; also included are three invited full papers. The papers presented span the whole scope of theoretical computer science. Among the topics covered are, in particular, algorithms and data structures, computational complexity, automata and formal languages, structural complexity, parallel and distributed systems, parallel algorithms, semantics, specification and verification, logic, computational geometry, cryptography, learning and inductive inference.
This volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative programming and Knowledge Management, INAP 2007, and the 21st Workshop on...
详细信息
ISBN:
(数字)9783642006753
ISBN:
(纸本)9783642006746
This volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative programming and Knowledge Management, INAP 2007, and the 21st Workshop on Logic programming, WLP 2007, held in Würzburg, Germany, during October 4-6, 2007. The 16 thoroughly revised full papers presented together with 1 invited paper were carefully reviewed and selected from numerous submissions. The topics covered are constraints; databases and data mining; extensions of logic programming; and system demonstrations.
This book constitutes the refereed proceedings of the 5th Workshop on Algorithm Engineering, WAE 2001, held in Aarhus, Denmark, in August 2001. The 15 revised full papers presented were carefully reviewed and selected...
详细信息
ISBN:
(数字)9783540446880
ISBN:
(纸本)9783540425007
This book constitutes the refereed proceedings of the 5th Workshop on Algorithm Engineering, WAE 2001, held in Aarhus, Denmark, in August 2001. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. Among the topics addressed are implementation, experimental testing, and fine-tuning of discrete algorithms; novel use of discrete algorithms in other disciplines; empirical research on algorithms and data structures; and methodological issues regarding the process of converting user requirements into efficient algorithmic solutions and implemenations.
This book does not tell a story. Instead, it is about stories. Or rather, in technical terms, it is about scenarios. Scenarios of system behavior. It con centrates on reactive systems, be they software or hardwa...
详细信息
ISBN:
(数字)9783642190292
ISBN:
(纸本)9783540007876;9783642624162
This book does not tell a story. Instead, it is about stories. Or rather, in technical terms, it is about scenarios. Scenarios of system behavior. It con centrates on reactive systems, be they software or hardware, or combined computer-embedded systems, including distributed and real-time systems. We propose a different way to program such systems, centered on inter object scenario-based behavior. The book describes a language, two tech niques, and a supporting tool. The language is a rather broad extension of live sequence charts (LSCs), the original version of which was proposed in 1998 by W. Damm and the first-listed author of this book. The first of the two techniques, called play-in, is a convenient way to 'play in' scenario based behavior directly from the system's graphical user interface (QUI). The second technique, play-out, makes it possible to execute, or 'play out', the behavior on the QUI as if it were programmed in a conventional intra object state-based fashion. All this is implemented in full in our tool, the Play-Engine. The book can be viewed as offering improvements in some ofthe phases of known system development life cycles, e.g., requirements capture and anal ysis, prototyping, and testing. However, there is a more radical way to view the book, namely, as proposing an alternative way to program reactivity, which, being based on inter-object scenarios, is a lot closer to how people think about systems and their behavior.
The lambda calculus was developed in the 1930s by AlonzoChurch. The calculus turned out to be an interesting modelof computation and became theprototype for untypedfunctional programming languages. Operational ...
详细信息
ISBN:
(数字)9783540475866
ISBN:
(纸本)9783540565178
The lambda calculus was developed in the 1930s by Alonzo
Church. The calculus turned out to be an interesting model
of computation and became theprototype for untyped
functional programming languages. Operational and
denotational semantics for the calculus served as examples
for otherprogramming languages.
In typed lambda calculi, lambda terms are classified
according to their applicative behavior. In the 1960s it was
discovered that the types of typed lambda calculi are in
fact appearances of logical propositions. Thus there are two
possible views of typed lambda calculi:
- as models of computation, where terms are viewed as
programs in a typed programming language;
- as logical theories, where the types are viewed as
propositions and the terms as proofs.
The practical spin-off from these studies are:
- functional programming languages which are
mathematically more succinct than imperative programs;
- systems for automated proof checking based on lambda
caluli.
This volume is the proceedings of TLCA '93, the first
international conference on Typed Lambda Calculi and
Applications,organized by the Department of Philosophy of
Utrecht University. It includes29 papers selected from 51
submissions.
暂无评论