2123 search results - page 168 / 425 » Composition of Cyber-Physical Systems |
251
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
In this demonstration, we present the ZOOM*UserView system, and focus on the module which generates a "user view" based on what tasks the user perceives to be relevant i...
154
click to vote
ICCD
2005
IEEE
16 years 3 months ago
2005
IEEE
We present a scalable architectural approach which aims to simplify embedded software development by supporting key development tasks like debugging, tracing and monitoring. Our a...
177
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
156
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, little work has been done for the cases where the software com...
157
click to vote
CSFW
1999
IEEE
15 years 10 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...