3028 search results - page 263 / 606 » Integrating Temporal Logics |
189
click to vote
ICDT
2007
ACM
16 years 1 months ago
2007
ACM
Abstract. We define and study formal privacy guarantees for information integration systems, where sources are related to a public schema by mappings given by source-to-target dep...
171
click to vote
ISCA
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper presents a high-availability system architecture called INDRA — an INtegrated framework for Dependable and Revivable Architecture that enhances a multicore processor ...
188
click to vote
ISCC
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract— Today data sources are pervasive and their number is growing tremendously. Current tools are not prepared to exploit this unprecedented amount of information and to cop...
202
click to vote
CCGRID
2005
IEEE
16 years 15 days ago
2005
IEEE
Data services for the Grid have focussed so far primarily on virtualising access to distributed databases, and encapsulating file location. However, orchestration of services requ...
187
click to vote
DFG
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...