4434 search results - page 550 / 887 » On the Composition of Hybrid Systems |
148
click to vote
ESAW
2004
Springer
16 years 5 days ago
2004
Springer
Overhearing is an indirect interaction type that enacts agents to listen to direct interactions among other agents without taking explicit part in the exchanges. In this paper, we ...
153
click to vote
ICTAC
2004
Springer
16 years 5 days ago
2004
Springer
A switched probabilistic I/O automaton is a special kind of probabilistic I/O automaton (PIOA), enriched with an explicit mechanism to exchange control with its environment. Every ...
159
click to vote
RE
2004
Springer
16 years 4 days ago
2004
Springer
One of the most important principles in Software Engineering is the separation of concerns. When this principle is correctly applied, it helps to promote comprehensibility, mainta...
184
click to vote
SAINT
2003
IEEE
16 years 2 days ago
2003
IEEE
In this paper we outline a framework for performing automated discovery, composition and execution of web services based solely on the information available in interface descripti...
184
click to vote
VL
2003
IEEE
16 years 2 days ago
2003
IEEE
JAN is a system for animated execution of Java programs. Its application area is program understanding rather than debugging. To this end, the animation can be customized, both by...