10646 search results - page 2060 / 2130 » A Framework for the Conceptualization of Approaches to |
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
RAID
2005
Springer
14 years 2 months ago
2005
Springer
Intrusion detection systems are fundamentally passive and fail–open. Because their primary task is classification, they do nothing to prevent an attack from succeeding. An intru...
UML
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...
VLDB
2005
ACM
14 years 2 months ago
2005
ACM
Devising a scheme for efficient and scalable querying of Resource Description Framework (RDF) data has been an active area of current research. However, most approaches define new...
VLSM
2005
Springer
14 years 2 months ago
2005
Springer
For non-rigid registration, the objects in medical images are usually treated as a single deformable body with homogeneous stiffness distribution. However, this assumption is inval...