2911 search results - page 444 / 583 » A Logic of Graph Constraints |
102
Voted
NMR
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...
111
Voted
IV
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we present a new framework for the use of Virtual Reality (VR) in engineering design for configuration applications. Traditional VR systems support the visual explo...
105
click to vote
EMSOFT
2001
Springer
15 years 5 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
124
Voted
AOSD
2007
ACM
15 years 4 months ago
2007
ACM
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
125
Voted
EDOC
2007
IEEE
15 years 4 months ago
2007
IEEE
The decentralized process of configuring enterprise applications is complex and error-prone, involving multiple participants/roles and numerous configuration changes across multipl...