This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. ...
Lire la suiteReconfigurable Distributed Control helps meet the challenge of applying distributed control to dynamical systems, integrating ...
Lire la suiteThis tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...
Lire la suiteReliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
Lire la suiteThis book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
Lire la suiteThis book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Lire la suiteThis book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
Lire la suiteStarted on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
Lire la suiteThis volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of 10 internationl workshops held as satellite events of the ...
Lire la suiteSoftcomputing techniques play a vital role in the industry. This book presents several important papers contributed by some ...
Lire la suiteHard real-time systems are very predictable, but not sufficiently flexible to adapt to dynamic situations. They are built ...
Lire la suiteSoft Sensors for Monitoring and Control of Industrial Processes underlines the real usefulness of each approach and the sensitivity ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 5th IFIP WG 10.2 International Workshop on Software ...
Lire la suiteThis book includes model-driven development; middleware; real time; quality of service and performance; applications; pervasive ...
Lire la suiteResearchers in data management have recently recognized the importance of a new class of data-intensive applications that ...
Lire la suiteThe 3rd Asian Internet Engineering Conference (AINTEC) followed the ?rst two successful editions held in Bangkok, Thailand, ...
Lire la suiteSynchronized Phasor Measurement and Their Applications presents the historical development of the synchronized phasor measurement ...
Lire la suiteThis book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...
Lire la suiteComputer software reliability has never been more important. Today, computers are employed in areas as diverse as air traffic ...
Lire la suite