8109 search results - page 469 / 1622 » A Model of Component-Based Programming |
172
click to vote
DEXA
2000
Springer
15 years 12 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
198
click to vote
WSC
1997
15 years 9 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...
188
click to vote
JSS
2008
15 years 7 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...
255
click to vote
ICDT
2012
ACM
13 years 10 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...
211
click to vote
CAV
2001
Springer
16 years 3 days 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...