4117 search results - page 477 / 824 » On the Satisfiability of Complex Constraints |
177
click to vote
UML
2004
Springer
16 years 7 days ago
2004
Springer
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...
162
click to vote
IAT
2003
IEEE
16 years 5 days ago
2003
IEEE
Multi-item, multi-unit negotiations in industrial procurement pose serious challenges to buying agents when trying to determine the best set of providering agents’ offers. Typic...
159
click to vote
ASYNC
2002
IEEE
15 years 12 months ago
2002
IEEE
Advanced clock-delayed1 and self-resetting domino circuits are becoming increasingly important design styles in aggressive synchronous as well as asynchronous design. Their design...
201
click to vote
COMPSAC
2002
IEEE
15 years 12 months ago
2002
IEEE
Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBAC’...
195
click to vote
GEOS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Often the information present in a spatial knowledge base is represented at a different level of granularity and abstraction than the query constraints. For querying onto...