2004 search results - page 163 / 401 » Comparison of Model Checking Tools for Information Systems |
152
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
174
click to vote
ISCI
2007
15 years 6 months ago
2007
Digital video recorder (DVR) systems are novel security products with significant potential for application in the surveillance market, which, like many other areas of security t...
164
click to vote
ATVA
2005
Springer
15 years 11 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
171
click to vote
TIP
2008
15 years 6 months ago
2008
Abstract--The wavelet transform as an important multiresolution analysis tool has already been commonly applied to texture analysis and classification. Nevertheless, it ignores the...
196
click to vote
IJAR
2010
15 years 4 months ago
2010
Geospatial Reasoning has been an essential aspect of military planning since the invention of cartography. Although maps have always been a focal point for developing situational ...