realme  (2 629 Angebote unter 17 209 757 Artikeln)

Unmanned aerial vehicles (UAVs) are being increasingly used in different applications in both military and civilian domains. These applications include surveillance, reconnaissance, remote sensing,...

10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings

This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyb...

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 commu...

This book constitutes the refereed proceedings of the 9th International Conference on Wireless Algorithms, Systems and Applications, WASA 2014, held in Harbin, China, in June 2014. The 41 revised f...

This book constitutes the refereed proceedings of the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012, held in Eindhoven, The Netherlands, in February 2012. The 7...

This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the ...

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 ...

Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is...

Interrupt Handling Schemes in Operating Systems

A Formal Approach to Real-Time Systems

Molecular Beacons explains working principle of molecular beacons, discusses their design, synthesis, purification and characterization, explores their thermodynamic and kinetic properties, and mor...

On-line Condition Monitoring in Industrial Lubrication and Tribology

Recommendation and Search in Social Networks

This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TAC...