1713 search results - page 59 / 343 » Modeling and Engineering Adaptive Complex Systems |
ISSTA
1998
ACM
14 years 25 days ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
IEEEICCI
2002
IEEE
14 years 2 months ago
2002
IEEE
In software engineering community there is an increasing effort of design and development of multiagent systems (MAS). Among several issues emerging from this initiative, complexi...
ICSE
2003
IEEE-ACM
14 years 2 months ago
2003
IEEE-ACM
There is wide agreement that architecture plays a prominent role in large, complex software systems. Selection of an appropriate architecture – one that matches the system requi...
APN
2006
Springer
14 years 29 days ago
2006
Springer
We consider nested nets, i.e. Petri nets in which tokens can be Petri nets themselves. We study value semantics of nested nets rather than reference semantics, and apply nested ne...
GECCO
2008
Springer
13 years 10 months ago
2008
Springer
Increasingly, high-assurance applications rely on autonomic systems to respond to changes in their environment. The inherent uncertainty present in the environment of autonomic sy...