2123 search results - page 75 / 425 » Composition of Cyber-Physical Systems |
145
click to vote
ICWS
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract. Todays information systems are built using various component models such as Enterprise Java Beans, JavaBeans, Microsoft COM+, and CORBA distributed objects. In this paper...
127
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper describes an algorithm for the efficient solution of large systems of Boolean equations. The algorithm exploits the fact that, in some cases, the composition operation ...
116
click to vote
FUIN
2008
15 years 4 months ago
2008
Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem of developing an axiomatization that is sound and comple...
136
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component...
117
click to vote
WOSP
2004
ACM
15 years 9 months ago
2004
ACM
We propose an automated compositional approach for component-based performance engineering, called the CB-SPE. It adapts to a CB framework the concepts and steps of the wellknown ...