2004 search results - page 70 / 401 » Comparison of Model Checking Tools for Information Systems |
IJDST
2011
14 years 3 months ago
2011
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...
101
click to vote
ESORICS
2008
Springer
15 years 1 months ago
2008
Springer
We are interested in this problem: a verifier, with a small and reliable storage, wants to periodically check whether a remote server is keeping a large file x. A dishonest server,...
127
click to vote
SAC
2002
ACM
14 years 11 months ago
2002
ACM
We present a generic mobility and traffic generation framework that can be incorporated into a tool for modeling and simulating large scale ad hoc networks. Three components of thi...
JCDL
2009
ACM
15 years 6 months ago
2009
ACM
User-contributed tags have shown promise as a means of indexing multimedia collections by harnessing the combined efforts and enthusiasm of online communities. But tags are only o...
BMCBI
2007
14 years 12 months ago
2007
Background: The need to build a tool to facilitate the quick creation and editing of models encoded in the Systems Biology Markup language (SBML) has been growing with the number ...