2704 search results - page 62 / 541 » Constraint Management in Engineering of Complex Information ... |
185
click to vote
EPIA
1993
Springer
15 years 10 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...
164
click to vote
DGO
2003
15 years 8 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 ...
178
click to vote
OTM
2007
Springer
16 years 25 days 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...
180
click to vote
KBSE
2007
IEEE
16 years 29 days 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...
187
click to vote
ESAW
2007
Springer
16 years 26 days 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...