4434 search results - page 201 / 887 » On the Composition of Hybrid Systems |
128
click to vote
ENTCS
2007
15 years 6 months ago
2007
When modelling complex interactive systems, traditional interactor-based approaches suffer from lack of expressiveness regarding the composition of the different interactors pre...
155
click to vote
TASE
2008
IEEE
16 years 26 days ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
185
click to vote
ICWS
2003
IEEE
15 years 7 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...
153
click to vote
ICCAD
1996
IEEE
15 years 10 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 ...
148
click to vote
FUIN
2008
15 years 6 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...