2004 search results - page 93 / 401 » Comparison of Model Checking Tools for Information Systems |
134
click to vote
APCCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
— DAB is a growing communication technology for digital audio broadcasting and demands higher concentration on flexible and cost optimum implementations for use in new mobile ele...
130
click to vote
CC
2001
Springer
15 years 9 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
118
click to vote
LREC
2008
15 years 6 months ago
2008
EVALITA 2007, the first edition of the initiative devoted to the evaluation of Natural Language Processing tools for Italian, provided a shared framework where participants' ...
125
click to vote
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
An increasing concern amongst designers and integrators of military and defense-related systems is the underlying security of the individual microprocessor components that make up ...
134
click to vote
CONIELECOMP
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents WISBuilder, a framework that investigates an approach for facilitating the development of Web-based Information Systems. The approach is based on the Model-Vie...