7213 search results - page 1278 / 1443 » Automated model grouping |
174
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
190
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...
165
click to vote
POLICY
2004
Springer
15 years 11 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
176
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
This paper aims at pushing the clear relationship between software service composition and chemical dynamics a step forward. We developed a coordination model where services and c...
152
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
This paper addresses the problem of identifying redundant data in large-scale service-oriented information systems. Specifically, the paper puts forward an automated method to pi...