866 search results - page 89 / 174 » Dynamical evolution analysis of the object-oriented software... |
PASTE
2004
ACM
14 years 1 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
ISMAR
2003
IEEE
14 years 1 months ago
2003
IEEE
In the past, architectures of Augmented Reality systems have been widely different and taylored to specific tasks. In this paper, we use the example of the SHEEP game to show how...
DANTE
1999
IEEE
14 years 2 days ago
1999
IEEE
While traditional workflow management systems have proven useful in supporting well-defined organizational processes, they are less suitable for the support of less welldefined, e...
WORM
2003
13 years 9 months ago
2003
Due to the fast spreading nature and great damage of Internet worms, it is necessary to implement automatic mitigation, such as dynamic quarantine, on computer networks. Enlighten...
ENGL
2007
13 years 7 months ago
2007
— This paper presents a new intelligent agent supervisory loop based approach for dynamic system control. The scheme consists of three software agents that work in an autonomous ...