2880 search results - page 463 / 576 » context 2007 |
128
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
The vision of ubiquitous computing is one in which resource constrained mobile devices form ad-hoc networks to enable the delivery of services that are sensitive and responsive to...
210
click to vote
B
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
153
click to vote
BIBE
2007
IEEE
15 years 8 months ago
2007
IEEE
The computational power and memory bandwidth of graphics processing units (GPUs) have turned them into attractive platforms for general-purpose applications. In this paper, we expl...
110
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
This paper tackles the problem of providing correct information about program variable values in a software-pipelined loop through a non-transparent debugging approach. Since mode...
134
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Multi-tier web server systems are used in many important contexts and their security is a major cause of concern. Such systems can exploit strategies like least privilege to make ...