402 search results - page 57 / 81 » Automatic Abstraction for Worst-Case Analysis of Discrete Sy... |
ROBOCUP
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. The automated generation of multimedia reports for timevarying scenes on the basis of visual data constitutes a challenging research goal with a high potential for many i...
FUIN
2008
13 years 7 months ago
2008
Abstract. Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails...
EPEW
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Recently, there is an explosive development of fluid approaches to computer and distributed systems. These approaches are inherently stochastic and generate continuous st...
TEC
2002
13 years 7 months ago
2002
Abstract--The particle swarm is an algorithm for finding optimal regions of complex search spaces through the interaction of individuals in a population of particles. Even though t...
ACSAC
2002
IEEE
14 years 16 days ago
2002
IEEE
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...