14244 search results - page 2512 / 2849 » Modeling Program Predictability |
151
click to vote
FM
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
159
click to vote
IFIP
2009
Springer
16 years 29 days ago
2009
Springer
A number of selected field-study techniques have been validated in a case study in the domain of railway signal boxes. The context of this work is the endeavour of a human-centred ...
171
click to vote
TAP
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
152
click to vote
ISSTA
2009
ACM
16 years 28 days ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
172
click to vote
KCAP
2009
ACM
16 years 28 days ago
2009
ACM
As computational learning agents move into domains that incur real costs (e.g., autonomous driving or financial investment), it will be necessary to learn good policies without n...