12289 search results - page 1687 / 2458 » computing 2006 |
301
click to vote
POPL
2006
ACM
16 years 8 months ago
2006
ACM
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...
218
click to vote
MOBISYS
2006
ACM
16 years 7 months ago
2006
ACM
CoolSpots enable a wireless mobile device to automatically switch between multiple radio interfaces, such as WiFi and Bluetooth, in order to increase battery lifetime. The main co...
205
click to vote
ACSC
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
226
click to vote
CCGRID
2006
IEEE
16 years 1 months ago
2006
IEEE
— It is well-understood that increasing redundancy in a system generally improves the availability and dependability of the system. In server clusters, one important form of redu...
191
click to vote
CCGRID
2006
IEEE
16 years 1 months ago
2006
IEEE
The inevitable move from a single large scale server to a distributed Grid environment is beginning to be realized across international Grid test-bed like Pacific Rim Applications...