4276 search results - page 471 / 856 » Techniques for Empirical Validation |
173
click to vote
DAWAK
2005
Springer
16 years 8 days ago
2005
Springer
In this paper we describe the design of a tool supporting the integration of independently developed data warehouses, a problem that arises in several common scenarios. The basic f...
163
click to vote
EGC
2005
Springer
16 years 8 days ago
2005
Springer
In this paper we study a fault tolerant model for Grid environments based on the task replication concept. The basic idea is to produce and submit to the Grid multiple replicas of ...
203
click to vote
EMSOFT
2005
Springer
16 years 7 days ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
178
click to vote
SAT
2005
Springer
16 years 6 days ago
2005
Springer
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...
149
click to vote
ACISP
2004
Springer
16 years 4 days ago
2004
Springer
A new type of signature scheme, called NTRUSign, based on solving the approximately closest vector problem in a NTRU lattice was proposed at CT-RSA’03. However no security proof ...