1676 search results - page 69 / 336 » Formal Development of Self-organising Systems |
MEMBRANE
2009
Springer
14 years 3 months ago
2009
Springer
would be an abstract answer (because it would not immediately link a formal model with the biological reality that inspired it or with possible implementations) from the other hand...
OOPSLA
2007
Springer
14 years 3 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
KI
2002
Springer
13 years 8 months ago
2002
Springer
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
FMCO
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
GIS
2010
ACM
13 years 7 months ago
2010
ACM
Recently, a wide range of applications like hurricane research, fire management, navigation systems, and transportation, to name only a few, has shown increasing interest in mana...