4211 search results - page 553 / 843 » A formal approach to MASQ |
178
click to vote
MICAI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Classical constraint satisfaction problems (CSPs) provide an expressive formalism for describing and solving many real-world problems. However, classical CSPs prove to be...
151
click to vote
SEKE
2004
Springer
16 years 1 days ago
2004
Springer
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of O...
206
click to vote
TIDSE
2004
Springer
16 years 1 days ago
2004
Springer
The Interactive Dilemma is the inevitable conflict between author’s determinism and interactor’s freedom. There are some approaches that try to tackle it, using strategies and...
183
click to vote
APSEC
2003
IEEE
16 years 13 hour ago
2003
IEEE
This paper describes a process for selecting and evaluating candidates for component based software engineering. The process is aimed at developers sourcing components from third ...
178
click to vote
HICSS
2003
IEEE
16 years 7 hour ago
2003
IEEE
Inductive representation of conditional knowledge means to complete knowledge appropriately and can be looked upon as an instance of quite a general representation problem. The cr...