Sciweavers

3943 search results - page 546 / 789
» Architecture-Level Requirements Specification
Sort
View
DEXAW
2006
IEEE
164views Database» more  DEXAW 2006»
15 years 8 months ago
A P2P Integration Architecture for Protein Resources
The availability of a direct pathway from a primary sequence (denovo or DNA derived) to macromolecular structure to biological function using computer-based tools is the ultimate ...
Kajal T. Claypool, Sanjay Kumar Madria
IWMM
2010
Springer
125views Hardware» more  IWMM 2010»
15 years 8 months ago
Efficient memory shadowing for 64-bit architectures
Shadow memory is used by dynamic program analysis tools to store metadata for tracking properties of application memory. The efficiency of mapping between application memory and s...
Qin Zhao, Derek Bruening, Saman P. Amarasinghe
ECOOP
2006
Springer
15 years 8 months ago
Scoped Types and Aspects for Real-Time Java
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
Chris Andreae, Yvonne Coady, Celina Gibbs, James N...
CSCW
2008
ACM
15 years 8 months ago
The computational geowiki: what, why, and how
Google Maps and its spin-offs are highly successful, but they have a major limitation: users see only pictures of geographic data. These data are inaccessible except by limited ve...
Reid Priedhorsky, Loren G. Terveen
DATE
2008
IEEE
121views Hardware» more  DATE 2008»
15 years 8 months ago
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...