8009 search results - page 1414 / 1602 » cans 2005 |
198
click to vote
SAFECOMP
2005
Springer
16 years 3 days ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
185
click to vote
SAS
2005
Springer
16 years 3 days ago
2005
Springer
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
185
click to vote
SAT
2005
Springer
16 years 3 days ago
2005
Springer
Much attention has been given in recent years to the problem of finding Minimally Unsatisfiable Subformulas (MUSes) of Boolean formulas. In this paper, we present a new view of the...
201
click to vote
SEMWEB
2005
Springer
16 years 3 days ago
2005
Springer
Information retrieval systems have to deal with uncertain knowledge and query results should reflect this uncertainty in some manner. However, Semantic Web ontologies are based on...
155
click to vote
SIGADA
2005
Springer
16 years 3 days ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...