16206 search results - page 136 / 3242 » At Issue |
122
click to vote
DLOG
2007
15 years 4 months ago
2007
Object-Role modellers miss the advantages of automated reasoning over their ORM conceptual models, which could be addressed by DL reasoners. DLs are not considered user-friendly an...
114
click to vote
USS
2008
15 years 4 months ago
2008
The State of Ohio commissioned the EVEREST study in late summer of 2007. The study participants were charged with an analysis of the usability, stability, and security of all voti...
106
click to vote
BPM
2008
Springer
15 years 3 months ago
2008
Springer
For a particular business process, typically, different variants exist. Each of them constitutes an adjustment of a basic process (e.g. a reference process) to specific requirement...
122
click to vote
MMB
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...