3233 search results - page 85 / 647 » Rule Modeling and Markup |
128
Voted
LOBJET
2006
15 years 3 months ago
2006
Many object-oriented software applications contain implicit business rules. Although there exist many approaches that advocate the separation of rules, the rules' connections ...
112
Voted
DAC
1996
ACM
15 years 7 months ago
1996
ACM
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
132
Voted
ESWS
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we present a MOF compliant metamodel and UML profile for the Semantic Web Rule Language (SWRL) that integrates with our previous work on a metamodel and UML profile f...
167
Voted
ALGORITHMICA
2006
15 years 3 months ago
2006
Dai, Li, and Wu proposed Rule k, a localized approximation algorithm that attempts to find a small connected dominating set in a graph. In this paper we consider the "average...
129
Voted
RML
2002
15 years 3 months ago
2002
The inherent distributed structure of business rules shows a high affinity to the execution of business processes across the internet, as needed for e-business and e-commerce. Howe...