2123 search results - page 382 / 425 » Composition of Cyber-Physical Systems |
CCS
2009
ACM
14 years 2 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
APGV
2010
ACM
14 years 2 months ago
2010
ACM
In this paper we explore the ability of the human visual system to detect inconsistencies in the illumination of objects in images. We specifically focus on objects being lit fro...
EUROSYS
2007
ACM
14 years 2 months ago
2007
ACM
The majority of aspect-oriented middlewares supporting dynamic aspect weaving fail to preserve important safety properties while weaving or unweaving a distributed aspect at runti...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Dynamic Interactive Multimedia Scenes (DIMS) is the latest 3GPP multimedia standard aiming at the development and delivery of rich media services over mobile networks, specifically...
DATE
2004
IEEE
14 years 2 months ago
2004
IEEE
A challenge facing designers of systems on chip (SoC) containing networks on chip (NoC) is to find NoC instances that balance the cost (e.g. area) and performance (e.g. latency an...