1202 search results - page 211 / 241 » Sortings for Reactive Systems |
127
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
138
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
152
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
s of Invited Presentations The Mathematics of Matter and the Mathematics of Mind . . . . . . . . . . . . . 1 David Berlinski A Grand Challenge: Full Reactive Modeling of a Multi-ce...
122
click to vote
MASA
2001
Springer
15 years 8 months ago
2001
Springer
Abstract 1 Different definitions of agents use concepts such as autonomy, pro-activity, reactivity, social abilities, and intentional models. Very few (if any), however, refer to...
136
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 8 months ago
2006
Springer
Asynchronous Active Objects (AAOs), primarily exemplied by actors [1], nowadays exist in many forms (various kinds of actors, agents and components) and are more and more used beca...