959 search results - page 146 / 192 » Formal Description Techniques - How Formal and Descriptive a... |
CI
2004
13 years 8 months ago
2004
Soft constraints are a generalization of classical constraints, which allow for the description of preferences rather than strict requirements. In soft constraints, constraints and...
CMOT
2000
13 years 8 months ago
2000
Enterprise design knowledge is currently descriptive, ad hoc, or pre-scientific. One reason for this state of affairs in enterprise design is that existing approaches lack an adeq...
CI
2002
13 years 8 months ago
2002
We present here a theory of motion from a topological point of view, in a symbolic perspective. Taking space-time histories of objects as primitive entities, we introduce temporal...
JSS
2002
13 years 8 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
GI
2010
Springer
13 years 6 months ago
2010
Springer
: Determining the QoS (quality of service) of composite Web services is of crucial importance for both service providers and consumers. However, service descriptions of constituent...