1 Table of Contents: “...Models for System-Level Synthesis -- 1. Embedded System Architectures -- 2. Models of Computation...”

2 Table of Contents: “... -- Data Mining -- Databases -- Embedded Systems -- Information Retrieval -- Mobile Computing -- Parallel...”

3 Table of Contents: “... (DDSM 07) -- Workshop on Embedded Systems for Ubiquitous Computing (ESUC 07) -- General Track...”

4 Table of Contents: “... Application and Security Service (UASS 2006) -- Workshop on Embedded System for Ubiquitous Computing (ESUC...”

5 Table of Contents: “... -- Leveraging High Performance Data Cache Techniques to Save Power in Embedded Systems -- Applying Decay...”

6 Table of Contents: “... -- An Architecture for Dynamic Service-Oriented Computing in Networked Embedded Systems -- Location-Based Services...”

7 Table of Contents: “... Provisioning in Enterprise Distributed Real-Time and Embedded Systems -- Applying US DoD Human Engineering...”

8 Table of Contents: “... Algorithm for Performance Prediction in HPC Systems -- Embedded systems & Communication -- Edge-Gateway...”

9 Table of Contents: “... Injection in Embedded Systems -- Constraints on the Use of Boundary-Scan for Fault Injection -- A Strategy...”

10 Table of Contents: “... of Face Selective Attention Model on an Embedded System -- From Image Annotation to Image Description --...”

11 Table of Contents: “...Run-Time Adaptable Architectures for Heterogeneous Behavior Embedded Systems -- Image Processing...”

12 Table of Contents: “... for Wireless Ad Hoc Networks -- On Deploying Tree Structured Agent Applications in Networked Embedded Systems...”

13 Table of Contents: “... and Co-verification of Embedded Systems -- 5.15 CORBA Telecommunications -- 6. Prolog III and Real-Time...”

14 “... at the conference. FORMATS 2007 was co-located (during October 3–5) as a guest conference attheEmbeddedSystems...”

15 “... on Petri nets, concurrent systems, program semantics, verification, embedded systems, real-time systems...”