2123 search results - page 350 / 425 » Composition of Cyber-Physical Systems |
100
Voted
ICCAD
2000
IEEE
15 years 5 months ago
2000
IEEE
The increasing size of integrated systems combined with deep submicron physical modeling details creates an explosion in RLC interconnect modeling complexity of unmanageable propo...
95
Voted
RTSS
1999
IEEE
15 years 5 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
117
click to vote
ICSE
1993
IEEE-ACM
15 years 4 months ago
1993
IEEE-ACM
Composite systems generally comprise heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably ...
94
Voted
ECHT
1992
15 years 4 months ago
1992
In this paper, we report about the design, development, and implementation of the SEPIA cooperative hypermedia authoring environment. It provides results on the following aspects ...
108
Voted
VLDB
1994
ACM
15 years 4 months ago
1994
ACM
Advanced technical applications like routing systems or electrical network managementsystems introduce the need for complex manipulations of large size graphs. Efficiently support...