1021 search results - page 186 / 205 » Concepts in Proof Planning |
SIGCOMM
2009
ACM
14 years 5 months ago
2009
ACM
The analysis of social and technological networks has attracted a lot of attention as social networking applications and mobile sensing devices have given us a wealth of real data...
HPDC
2008
IEEE
14 years 5 months ago
2008
IEEE
Today Graphics Processing Units (GPUs) are a largely underexploited resource on existing desktops and a possible costeffective enhancement to high-performance systems. To date, mo...
ICYCS
2008
IEEE
14 years 5 months ago
2008
IEEE
Context-aware service platforms use context information to customize their services to the current users’ situation. Due to technical limitations in sensors and context reasonin...
IPPS
2008
IEEE
14 years 5 months ago
2008
IEEE
In today’s extensive worldwide Internet traffic, some 60% of network congestion is caused by Peer to Peer sessions. Consequently ISPs are facing many challenges like: paying fo...
IPPS
2008
IEEE
14 years 5 months ago
2008
IEEE
In this paper, we introduce the new technique of HighConfidence Software Monitoring (HCSM), which allows one to perform software monitoring with bounded overhead and concomitantl...