2123 search results - page 27 / 425 » Composition of Cyber-Physical Systems |
ENTCS
2010
13 years 9 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
JLP
2006
13 years 9 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
ICTAI
1993
IEEE
14 years 1 months ago
1993
IEEE
Tropes, an object-based knowledge representation system, has been added three important intertwined features: constraints, composite objects and tasks. Constraints provide a decla...
JMM2
2006
13 years 9 months ago
2006
Facial composites are pictures of human faces. These are normally constructed by victims and witnesses of crime who describe a suspect's face and then select individual facial...
NIME
2004
Springer
14 years 3 months ago
2004
Springer
Though musical performers routinely use eye movements to communicate with each other during musical performances, very few performers or composers have utilized eye tracking devic...