3082 search results - page 580 / 617 » Deviation Analysis: A New Use of Model Checking |
SAFECOMP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Cognition of technical systems, as the ability to perceive situations, to learn about favorable behavior, and to autonomously generate decisions, adds new attributes to s...
104
click to vote
COMPGEOM
2004
ACM
15 years 5 months ago
2004
ACM
The computation of Delaunay triangulations from static point sets has been extensively studied in computational geometry. When the points move with known trajectories, kinetic dat...
100
click to vote
ANSS
2003
IEEE
15 years 5 months ago
2003
IEEE
The main goal of the NETSEC project is to design and implement a framework for mitigating the effects of the node-based and link-based DoS attacks. Our strategy employs three lin...
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
112
click to vote
USS
2008
15 years 2 months ago
2008
Graphics processors are continuing their trend of vastly outperforming CPUs while becoming more general purpose. The latest generation of graphics processors have introduced the a...