2704 search results - page 62 / 541 » Constraint Management in Engineering of Complex Information ... |
123
click to vote
EPIA
1993
Springer
15 years 5 months ago
1993
Springer
Abstract. This work presents a constraint solver for the domain of rational trees. Since the problem is NP-hard the strategy used by the solver is to reduce as much as possible, in...
DGO
2003
15 years 2 months ago
2003
ct The REGNET Project aims to develop a formal information infrastructure for regulatory information management and compliance assistance. This paper discusses three components of ...
112
click to vote
OTM
2007
Springer
15 years 7 months ago
2007
Springer
Environmental engineers from different organizations work in interdisciplinary projects having the need of information exchange. In particular, a collaborative environment with pe...
113
click to vote
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
123
click to vote
ESAW
2007
Springer
15 years 7 months ago
2007
Springer
OCAMS is a practical engineering application of multi-agent systems technology, involving redesign of the tools and practices in a complex, distributed system. OCAMS is designed to...