2639 search results - page 241 / 528 » Biological Systems as Reactive Systems |
179
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. While sequential behavior of single objects is fairly well understood, orchestrating the collective behavior emerging from the behaviors of individual objects continues t...
172
click to vote
SAS
1999
Springer
15 years 11 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
157
Voted
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
Transportable agents are autonomous programs. They can move through a heterogeneous network of computers under their own control, migrating from host to host. They can sense the s...
202
click to vote
MAAMAW
1994
Springer
15 years 10 months ago
1994
Springer
What is the relation between the complexity of agents and the complexity of the goals that they can achieve? It is argued on the basis of a fundamental conservation of complexity ...
176
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...