2004 search results - page 91 / 401 » Comparison of Model Checking Tools for Information Systems |
149
click to vote
JCP
2008
15 years 4 months ago
2008
With the wireless communications coming to homes and offices, the need to have secure data transmission is of utmost importance. Today, it is important that information is sent con...
160
click to vote
ICDAR
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper describes features and methods for document image comparison and classification at the spatial layout level. The methods are useful for visual similarity based document...
131
click to vote
IJSC
2008
15 years 4 months ago
2008
ifferent abstraction levels, resulting in isolated `information silos'. An increasing number of task-specific software tools aim to support developers, but this often results ...
162
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Recent results seem to cast some doubt over the assumption that improvements in fused recognition accuracy for speaker recognition systems based on different acoustic features are...
121
click to vote
FAC
2007
15 years 4 months ago
2007
Individual components in an inter-operating system require assurance from other components both of appropriate functionality and of suitable responsiveness. We have developed prope...