2123 search results - page 85 / 425 » Composition of Cyber-Physical Systems |
121
click to vote
HT
2003
ACM
15 years 9 months ago
2003
ACM
Tinderbox, a hypertext tool for making, analyzing, and sharing notes, explores the use of collage to build and share linked conceptual structures. Adopting a simple, regular data ...
128
click to vote
Publication
In contrast to sort-first, sort-last parallel rendering has the distinct advantage that the task division for parallel geometry processing and rasterization is simple, and can eas...
149
click to vote
ESORICS
2008
Springer
15 years 6 months ago
2008
Springer
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...
134
click to vote
DEDS
2007
15 years 4 months ago
2007
This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of p...
117
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Ionic polymer-metal composites (IPMCs) form an important category of electroactive polymers and have many potential applications in biomedical, robotic and micro/nano manipulation ...