7715 search results - page 113 / 1543 » Visual Rules Modeling |
SPRINGSIM
2010
14 years 8 months ago
2010
LOBJET
2006
14 years 10 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 ...
DAC
1996
ACM
15 years 2 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 ...
104
click to vote
ALGORITHMICA
2006
14 years 10 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...
RML
2002
14 years 9 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...