2004 search results - page 83 / 401 » Comparison of Model Checking Tools for Information Systems |
105
click to vote
NAR
2006
14 years 11 months ago
2006
Systemslevelinvestigationofgenomicscaleinformation requires the development of truly integrated databases dealing with heterogeneous data, which can be queried for simple properti...
IEEECIT
2006
IEEE
15 years 5 months ago
2006
IEEE
Currently Configuration Management (CM) tool and Process Management (PM) tool are both largely applied in software organizations. However, neither of them can effectively support ...
109
click to vote
CJ
2004
14 years 11 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents a framework based on a user driven methodology to obtain analytical models of MPI applications on parallel systems in a systematic and easy to use way. This me...
105
click to vote
TPHOL
1998
IEEE
15 years 4 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...