157 search results - page 28 / 32 » A Restriction Mapping Engine Using Constraint Logic Programm... |
99
Voted
SCP
2010
14 years 8 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
107
click to vote
PASTE
2005
ACM
15 years 3 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
AGENTS
2001
Springer
15 years 2 months ago
2001
Springer
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...
88
Voted
IV
2003
IEEE
15 years 2 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...
102
Voted
EDOC
2007
IEEE
15 years 1 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...