Sciweavers

6834 search results - page 266 / 1367
» The Fail-Heterogeneous Architectural Model
Sort
View
CN
2004
94views more  CN 2004»
15 years 6 months ago
A performance study of power-saving polices for Wi-Fi hotspots
Wi-Fi hotspots are one of the most promising scenarios for mobile computing. In this scenario, a very limiting factor is the shortage of energetic resources in mobile devices. Leg...
Giuseppe Anastasi, Marco Conti, Enrico Gregori, An...
SIGMOD
2002
ACM
137views Database» more  SIGMOD 2002»
15 years 6 months ago
Partial results for online query processing
Traditional query processors generate full, accurate query results, either in batch or in pipelined fashion. We argue that this strict model is too rigid for exploratory queries o...
Vijayshankar Raman, Joseph M. Hellerstein
CSMR
2009
IEEE
15 years 11 months ago
A Tool for Enterprise Architecture Analysis of Maintainability
A tool for Enterprise Architecture analysis using a probabilistic mathematical framework is demonstrated. The Model-View-Controller tool architecture is outlined, he use of the to...
Mathias Ekstedt, Ulrik Franke, Pontus Johnson, Rob...
POS
1998
Springer
15 years 11 months ago
DynamO: Dynamic Objects with Persistent Storage
In light of advances in processor and networking technology, especially the emergence of network attached disks, the traditional client-server architecture becomes suboptimal for ...
Jiong Yang, Silvia Nittel, Wei Wang 0010, Richard ...
CBSE
2006
Springer
15 years 10 months ago
Verification of Component-Based Software Application Families
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
Fei Xie, James C. Browne