2004 search results - page 139 / 401 » Comparison of Model Checking Tools for Information Systems |
144
click to vote
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
141
Voted
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
116
click to vote
WSC
2008
15 years 7 months ago
2008
Managing healthcare delivery systems plays an important role for healthcare providers in order to have high quality service performances. Inpatient pharmacy delivery systems are o...
112
click to vote
WEBI
2001
Springer
15 years 9 months ago
2001
Springer
Most people store ‘bookmarks’ to web pages. These allow the user to return to a web page later on, without having to remember the exact URL address. People attempt to organise ...
140
click to vote
BILDMED
2004
15 years 6 months ago
2004
In the practice of maxillofacial surgery, one major challenge is the correct reconstruction of malformed or damaged bone structures of the face. Among those, a rather frequent task...