10182 search results - page 422 / 2037 » Case Studies |
161
click to vote
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
There is an ongoing debate about how to improve the quality of empirical research efforts in information systems. One of the persistent issues within the debate concerns the relat...
163
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper describes a large case study that explores the applicability of ontology reasoning to problems in the medical domain. We investigate whether it is possible to ...
161
click to vote
ERLANG
2006
ACM
16 years 26 days ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
165
click to vote
APSEC
2005
IEEE
16 years 16 days ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
204
click to vote
GECCO
2005
Springer
16 years 12 days ago
2005
Springer
In order to maintain a reliable and economic electric power supply, the maintenance of power plants is becoming increasingly important. In this paper, a formulation that enables a...