1054 search results - page 66 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
113
click to vote
RTSS
1998
IEEE
15 years 8 months ago
1998
IEEE
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...
126
click to vote
CA
1997
IEEE
15 years 8 months ago
1997
IEEE
Face-to-face interaction between people is generally effortless and effective. We exchange glances, take turns speaking and make facial and manual gestures to achieve the goals of ...
147
click to vote
MASA
2001
Springer
15 years 8 months ago
2001
Springer
The paper presents a multi-agent system that comprises a society of self-interested agents that use argumentation-based negotiation to reach agreements regarding cooperation and go...
148
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Service-Oriented Computing and Agent Technology are nowadays two of the most active research fields in distributed and open systems. However, when trying to bridge the two worlds,...
137
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
A mathematical model for cancer treatment that includes immunological activity is considered as an optimal control problem. In the uncontrolled system there exist both a region of ...