Sciweavers

6581 search results - page 218 / 1317
» Formalizing Design Patterns
Sort
View
120
Voted
AAAI
2008
15 years 6 months ago
Using Reasoning Patterns to Simplify Games
In complex strategic situations decision-making agents interact with many other agents and have access to many pieces of information throughout their play. This usually leads to g...
Dimitrios Antos, Avi Pfeffer
135
Voted
SIGMOD
2008
ACM
127views Database» more  SIGMOD 2008»
15 years 3 months ago
Minimization of tree pattern queries with constraints
Tree pattern queries (TPQs) provide a natural and easy formalism to query tree-structured XML data, and the efficient processing of such queries has attracted a lot of attention. ...
Ding Chen, Chee Yong Chan
ENC
2005
IEEE
15 years 9 months ago
Using Alloy to model-check visual design notations
This paper explores the process of validation for the syntax of a graphical notation. We define a unified specification for five of the UML diagrams used by the Discovery Method a...
Anthony J. H. Simons, Carlos Alberto Fernán...
AIL
1998
107views more  AIL 1998»
15 years 3 months ago
A Comparison of Four Ontologies for the Design of Legal Knowledge Systems
There is a growing interest in how people conceptualise the legal domain for the purpose of legal knowledge systems. In this paper we discuss four such conceptualisations (referred...
Pepijn R. S. Visser, Trevor J. M. Bench-Capon
122
Voted
FASE
2001
Springer
15 years 8 months ago
Strengthening UML Collaboration Diagrams by State Transformations
Abstract. Collaboration diagrams as described in the official UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying...
Reiko Heckel, Stefan Sauer