2514 search results - page 346 / 503 » The use of industrial-strength formal methods |
152
click to vote
SACMAT
2010
ACM
15 years 6 months ago
2010
ACM
There have been many approaches proposed for role mining. However, the problems solved often differ due to a lack of consensus on the formal definition of the role mining problem....
133
click to vote
AIL
2008
15 years 6 months ago
2008
In this paper, we present an ontology in OWL for Legal Case-based Reasoning. We outline some of the main motivations for providing an ontology in OWL, then discuss Legal Case-base...
142
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we propose a unified algorithmic framework for solving many known variants of MDS. Our algorithm is a simple iterative scheme with guaranteed convergence, and is mo...
151
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we revisit the enumeration of directed animals using gas models. We show that there exists a natural construction of random directed animals on any directed graph t...
149
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...