899 search results - page 144 / 180 » Cost Analysis of Games, Using Program Logic |
106
click to vote
JDS
2007
15 years 1 months ago
2007
Operational Risk management, the least covered component of Enterprise Wide Risk Management, needs intelligent tools to implement Comprehensive Emergency Management Programs. In t...
108
click to vote
TPLP
2002
15 years 1 months ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
104
click to vote
HYBRID
1994
Springer
15 years 5 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
DSN
2005
IEEE
15 years 7 months ago
2005
IEEE
System call monitoring is a technique for detecting and controlling compromised applications by checking at runtime that each system call conforms to a policy that specifies the ...
106
click to vote
FATES
2003
Springer
15 years 6 months ago
2003
Springer
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...