2004 search results - page 68 / 401 » Comparison of Model Checking Tools for Information Systems |
AROBOTS
2000
14 years 11 months ago
2000
As research expands in multiagent intelligent systems, investigators need new tools for evaluating the artificial societies they study. It is impossible, for example, to correlate ...
JAIR
2008
14 years 12 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
107
click to vote
ICECCS
2009
IEEE
15 years 6 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
110
click to vote
HASE
2007
IEEE
15 years 3 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
OTM
2010
Springer
14 years 10 months ago
2010
Springer
Nowadays, due to the growing development of eGovernment information systems, there is an increasing need to handle Public Sector Information (PSI) in a homogeneous way. Ontologies ...