12981 search results - page 369 / 2597 » Model Checking (Abstract) |
128
click to vote
USENIX
2007
15 years 6 months ago
2007
Data Structure Abstractions for Asynchronous Web Applications Daniel S. Myers MIT CSAIL Jennifer N. Carlisle MIT CSAIL James A. Cowling MIT CSAIL Barbara H. Liskov MIT CSAIL The c...
114
click to vote
WSC
2004
15 years 5 months ago
2004
Recursive simulation is the technique of having simulated decisionmakers themselves use simulation to inform their decisionmaking. Issues of efficiency require that the recursive ...
162
click to vote
RT
2004
Springer
15 years 9 months ago
2004
Springer
ks: Abstraction and Rendering of Sparsely Scanned Outdoor Environments Hui Xu, Nathan Gossett and Baoquan Chen University of Minnesota Digital Technology Center at Twin Cities † ...
236
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
135
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...