8503 search results - page 1524 / 1701 » Secure Software Architectures |
DAC
2003
ACM
14 years 11 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
DAC
2005
ACM
14 years 11 months ago
2005
ACM
Dual-execution/checkpointing based transient error tolerance techniques have been widely used in the high-end mission critical systems. These techniques, however, are not very att...
ISBI
2006
IEEE
14 years 11 months ago
2006
IEEE
This paper describes the development and application of methods to integrate research image analysis methods and software with a commercial image guided surgery navigation system ...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
Web Information Systems (WIS) support the process of retrieving information from sources on the Web and of presenting them as a hypermedia presentation. Most WIS design ogies focu...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
Peer-To-Peer (P2P) networks like Gnutella improve some shortcomings of Conventional Search Engines (CSE) such as centralized and outdated indexing by distributing the search engin...