Sciweavers

2607 search results - page 373 / 522
» On the Architecture of System Verification Environments
Sort
View
ISCC
2006
IEEE
129views Communications» more  ISCC 2006»
16 years 16 days ago
A Semantic Overlay Network for P2P Schema-Based Data Integration
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...
Carmela Comito, Simon Patarin, Domenico Talia
NCA
2005
IEEE
16 years 3 days ago
Providing Hard Real-Time Guarantees in Context-Aware Applications: Challenges and Requirements
Context-aware applications rely on the ability to perceive the state of the surrounding environment. In this paper, we address a class of such applications where real-time guarant...
Malika Boulkenafed, Barbara Hughes, René Me...
JCDL
2004
ACM
141views Education» more  JCDL 2004»
15 years 12 months ago
The multi-faceted use of the OAI-PMH in the lanl repository
This paper focuses on the multifaceted use of the OAI-PMH in a repository architecture designed to store digital assets at the Research Library of the Los Alamos National Laborato...
Henry N. Jerez, Xiaoming Liu 0005, Patrick Hochste...
ISMIS
2003
Springer
15 years 11 months ago
Enacting an Agent-Based Digital Self in a 24x7 Web Services World
As broadband access to the Internet becomes pervasive, the need for a 24 hours a day, seven days a week (24x7) interface within the client devices, requires a level of sophisticati...
Steve Goschnick
IPPS
2002
IEEE
15 years 11 months ago
Effective Cross-Platform, Multilevel Parallelism via Dynamic Adaptive Execution
This paper presents preliminary efforts to develop compilation and execution environments that achieve performance portability of multilevel parallelization on hierarchical archit...
Walden Ko, Mark N. Yankelevsky, Dimitrios S. Nikol...