Recent Trends in Algebraic Development Techniques
This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. ...
Lee mas
Reconfigurable Distributed Control
Reconfigurable Distributed Control helps meet the challenge of applying distributed control to dynamical systems, integrating ...
Lee mas
Refinement Techniques in Software Engineering
This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...
Lee mas
Reliable Software Technologies - Ada Europe 2007
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
Lee mas
Reliable Software Technologies - Ada-Europe 2002
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
Lee mas
Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Lee mas
Reliable Software Technologies -- Ada-Europe 2006
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
Lee mas
Reliable Software Technology – Ada-Europe 2005
Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
Lee mas
SDL 2001: Meeting UML
This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...
Lee mas
Satellite Events at the MoDELS 2005 Conference
This book constitutes the thoroughly refereed post-proceedings of 10 internationl workshops held as satellite events of the ...
Lee mas
Soft Computing Applications in Industry
Softcomputing techniques play a vital role in the industry. This book presents several important papers contributed by some ...
Lee mas
Soft Real-Time Systems: Predictability vs. Efficiency
Hard real-time systems are very predictable, but not sufficiently flexible to adapt to dynamic situations. They are built ...
Lee masSoft Sensors for Monitoring and Control of Industrial Processes
Soft Sensors for Monitoring and Control of Industrial Processes underlines the real usefulness of each approach and the sensitivity ...
Lee mas
Software Technologies for Embedded and Ubiquitous Systems
This book constitutes the thoroughly refereed post-proceedings of the 5th IFIP WG 10.2 International Workshop on Software ...
Lee mas
Software Technologies for Embedded and Ubiquitous Systems : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings
This book includes model-driven development; middleware; real time; quality of service and performance; applications; pervasive ...
Lee mas
Stream Data Management
Researchers in data management have recently recognized the importance of a new class of data-intensive applications that ...
Lee mas
Sustainable Internet
The 3rd Asian Internet Engineering Conference (AINTEC) followed the ?rst two successful editions held in Bangkok, Thailand, ...
Lee mas
Synchronized Phasor Measurements and Their Applications
Synchronized Phasor Measurement and Their Applications presents the historical development of the synchronized phasor measurement ...
Lee mas
System Analysis and Modeling: Language Profiles
This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...
Lee masSystem Software Reliability
Computer software reliability has never been more important. Today, computers are employed in areas as diverse as air traffic ...
Lee mas
