SEUS 2010:
Waidhofen/Ybbs,
Austria
Sang Lyul Min, Robert G. Pettit IV, Peter P. Puschner, Theo Ungerer (Eds.):
Software Technologies for Embedded and Ubiquitous Systems - 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings.
Lecture Notes in Computer Science 6399 Springer 2010, ISBN 978-3-642-16255-8
Invited Program
Hardware
Real-Time Systems
Model-Based Design and Model-Checking
- Andreas Baumgart, Philipp Reinkemeier, Achim Rettberg, Ingo Stierand, Eike Thaden, Raphael Weber:
A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems.
59-70
- Charbel El Kaed, Yves Denneulin, François-Gaël Ottogalli, Luis Felipe Melo Mora:
Combining Ontology Alignment with Model Driven Engineering Techniques for Home Devices Interoperability.
71-82
- Shin Nakajima, Masaki Ishiguro, Kazuyuki Tanaka:
Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems.
83-94
Sensor Nets
Error Detection and System Failures
Hard Real-Time
Middleware and Smart Spaces
Function Composition and Task Mapping
Last update Fri May 25 08:36:52 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page