2152 search results - page 194 / 431 » On Automating the Calculus of Relations |
172
click to vote
DLOG
2009
15 years 4 months ago
2009
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...
220
click to vote
DLOG
2011
14 years 10 months ago
2011
We introduce an algorithm for MinA extraction in EL based on bidirectional reachability. We obtain a significant reduction in the size of modules extracted at almost no additional...
158
click to vote
CIA
2007
Springer
16 years 21 days ago
2007
Springer
Past years have witnessed a growing interest in automated negotiation as a coordination mechanism for interacting agents. This paper presents a generic, problem- and domain-indepen...
174
click to vote
SARA
2007
Springer
16 years 19 days ago
2007
Springer
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
185
click to vote
SEW
2006
IEEE
16 years 16 days ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...