1941 search results - page 332 / 389 » On the Hardness of Approximate Reasoning |
114
click to vote
SIGSOFT
2008
ACM
16 years 17 days ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
127
click to vote
SIGSOFT
2008
ACM
16 years 17 days ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...
117
click to vote
SIGSOFT
2007
ACM
16 years 17 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
113
click to vote
SIGSOFT
2007
ACM
16 years 17 days ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
102
click to vote
SIGSOFT
2006
ACM
16 years 17 days ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...