Sciweavers

3605 search results - page 489 / 721
» Analysis and Applications of the XDI model
Sort
View
EWSA
2005
Springer
16 years 3 days ago
On the Systematic Conformance Check of Software Artefacts
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...
Hylke W. van Dijk, Bas Graaf, Rob Boerman
FPL
2003
Springer
95views Hardware» more  FPL 2003»
15 years 11 months ago
Reconfigurable Hardware SAT Solvers: A Survey of Systems
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...
Iouliia Skliarova, António de Brito Ferrari
DEXAW
2002
IEEE
112views Database» more  DEXAW 2002»
15 years 11 months ago
Privacy-Enabled Services for Enterprises
The IBM Enterprise Privacy Architecture (EPA) is a methodology for enterprises to provide an enhanced and well-defined level of privacy to their customers. EPA is structured in f...
Günter Karjoth, Matthias Schunter, Michael Wa...
AADEBUG
2000
Springer
15 years 11 months ago
Value Withdrawal Explanation in CSP
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, c...
Gérard Ferrand, Willy Lesaint, Alexandre Te...
IDEAS
1997
IEEE
237views Database» more  IDEAS 1997»
15 years 10 months ago
Sequence Comparison Using a Relational Database Approach
A variety of heterogenous data sources is available in the field of molecular biology. Our focus lies on the biological sequence data, i. e. data maintained in collections like EM...
André Bergholz, Stephan Heymann, Jörg ...