2004 search results - page 173 / 401 » Comparison of Model Checking Tools for Information Systems |
150
click to vote
CSFW
2006
IEEE
16 years 5 days ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
155
click to vote
ICIAP
2001
Springer
15 years 10 months ago
2001
Springer
A dynamical model for retinal processing is presented. The model describes the output of retinal ganglion cells whose receptive field is composed of a center and a surround combi...
200
click to vote
AMOST
2007
ACM
15 years 10 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
192
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
The innovations and improvements in digital imaging sensors and scanners, computer modeling, haptic equipments and e-learning technology, as well as the availability of many powerf...
145
click to vote
LREC
2008
15 years 7 months ago
2008
Development of lexical resources is, along with grammar development, one of the main efforts when building multilingual NLP applications. In this paper, we present a tool-based ap...