4418 search results - page 840 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
166
click to vote
GRID
2005
Springer
15 years 11 months ago
2005
Springer
— Access control in computational grids is typically provided by a combination of identity certificates and local accounts. This approach does not scale as the number of users a...
169
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...
157
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Conventional low frame rate cameras result in blur and/or aliasing in images while capturing fast dynamic events. Multiple low speed cameras have been used previously with stagger...
174
click to vote
MOBISYS
2010
ACM
15 years 8 months ago
2010
ACM
This paper presents MAUI, a system that enables fine-grained energy-aware offload of mobile code to the infrastructure. Previous approaches to these problems either relied heavily...
146
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
Current search mechanisms of DHT-based P2P systems can well handle a single keyword search problem. Other than single keyword search, multi-keyword search is quite popular and use...