1271 search results - page 119 / 255 » On Simulation-Checking with Sequential Systems |
83
Voted
LISA
1998
15 years 1 months ago
1998
Analyzing and monitoring logs that portray system, user, and network activity is essential to meet the requirements of high security and optimal resource availability. While most ...
99
Voted
CGF
2008
15 years 19 days ago
2008
Creating long motion sequences is a time-consuming task even when motion capture equipment or motion editing tools are used. In this paper, we propose a system for creating a long...
117
Voted
AUTOMATICA
2006
15 years 17 days ago
2006
Motivated by questions in stability theory for hybrid dynamical systems, we establish some fundamental properties of the set of solutions to such systems. Using the notion of a hy...
116
Voted
BXML
2004
15 years 1 months ago
2004
: ExtraPlanT system is a multi-agent production planning system designed for small factories, which needs to react quickly on market changes. To deal with this requirement, ExtraPl...
116
click to vote
CORR
2008
Springer
15 years 18 days ago
2008
Springer
Over the last few years, more and more heuristic decision making techniques have been inspired by nature, e.g. evolutionary algorithms, ant colony optimisation and simulated annea...