652 search results - page 44 / 131 » Legal Decisions and Integrated Systems |
ICTAC
2009
Springer
14 years 7 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Integrating volatile renewable energy resources into the bulk power grid is challenging, due to the reliability requirement that at each instant the load and generation in the syst...
DMKD
2004
ACM
15 years 3 months ago
2004
ACM
Record linkage, the problem of determining when two records refer to the same entity, has applications for both data cleaning (deduplication) and for integrating data from multipl...
WOWMOM
2009
ACM
15 years 4 months ago
2009
ACM
The quality of Internet access for mobile users may suffer from highly variable communication characteristics (packet loss, delay, throughput) and from temporary disconnections. T...
ESORICS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. While processor based systems often enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reconfigurable har...