1306 search results - page 119 / 262 » A Diagrammatic Approach to Model Completion |
109
click to vote
IWFM
2003
15 years 2 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
83
Voted
AIPS
2000
15 years 2 months ago
2000
The majority of planning and scheduling research has focused on batch-oriented models of planning. This paper discusses the use of iterative repair techniques to support a continu...
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
84
Voted
CACM
2004
15 years 17 days ago
2004
ent through the use of meaningful abstractions in order to avoid dealing with low-level details. Despite this potential benefit, their adoption has mainly been limited to professio...
81
Voted
DAC
2005
ACM
16 years 1 months ago
2005
ACM
Trajectory methods sample the state trajectory of a circuit as it simulates in the time domain, and build macromodels by reducing and interpolating among the linearizations create...