7961 search results - page 433 / 1593 » Input-Output Model Programs |
168
Voted
WSC
1997
15 years 7 months ago
1997
Effective and timely execution of the Department of Defense’s (DoD) Program Objective Memorandum (POM) and Joint Warfare Capability Assessment (JWCA) process requires objective...
159
click to vote
JSS
2008
15 years 6 months ago
2008
The high cost of software maintenance could be reduced by automatically improving the design of object-oriented programs without altering their behaviour. We have constructed a so...
208
click to vote
ICDT
2012
ACM
13 years 8 months ago
2012
ACM
In a recent paper by Hellerstein [15], a tight relationship was conjectured between the number of strata of a Datalog¬ program and the number of “coordination stages” require...
174
Voted
CAV
2001
Springer
15 years 11 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
159
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...