Embedded Systems Design
Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, ...
Continue reading
Event-Triggered and Time-Triggered Control Paradigms
Event-Triggered and Time-Triggered Control Paradigms presents a valuable survey about existing architectures for safety-critical ...
Continue reading
FM 2005: Formal Methods
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
Continue reading
FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...
Continue reading
Formal Approaches to Software Testing (vol. # 3997)
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
Continue reading
Formal Methods and Hybrid Real-Time Systems
This paper presents a few of these, including a distributed garbage collection problem, distributed consensus problems for ...
Continue reading
Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...
Continue reading
Formal Modeling and Analysis of Timed Systems
This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems ...
Continue reading
Formal Modeling and Analysis of Timed Systems (vol. # 3829)
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...
Continue reading
Formal Modeling and Analysis of Timed Systems (vol. # 4202)
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers ...
Continue reading
Formal Techniques for Networked and Distributed Systems - FORTE 2005
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...
Continue reading
Genetic Programming
This book constitutes the refereed proceedings of the 10th European Conference on Genetic Programming, EuroGP 2007, held ...
Continue reading
Genetic Programming ; 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings
The 11th European Conference on Genetic Programming, EuroGP 2008, took place in Naples, Italy from 26 to 28 March in the ...
Continue reading
GeoSensor Networks : Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed proceedings of the Second GeoSensor Networks Conference, held in Boston, Massachusetts, ...
Continue reading
Handbook Of Big Data Analytics ; Vol. 1: Methodologies
Big Data analytics is the complex process of examining big data to uncover information such as correlations, hidden patterns, ...
Continue reading
Handbook Of Big Data Analytics ; Vol. 2: Applications in ICT, security and business analytics
Big Data analytics is the complex process of examining big data to uncover information such as correlations, hidden patterns, ...
Continue reading
High Performance Computing ¿ HiPC 2007
This book constitutes the refereed proceedings of the 14th International Conference on High-Performance Computing, HiPC 2007, ...
Continue reading
Hybrid Systems: Computation and Control
This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, ...
Continue reading
Hybrid Systems: Computation and Control (vol. # 3927)
These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March ...
Continue reading
Image Analysis and Recognition (vol. # 3656)
ICIAR 2005, the International Conference on Image Analysis and Recognition, was the second ICIAR conference, and was held ...
Continue reading
