3680 search results - page 278 / 736 » cases 2010 |
134
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Heap-Hop is a program prover for concurrent heap-manipulating programs that use Hoare monitors and message-passing synchronization. Programs are annotated with pre and po...
158
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
Context has been applied to a broad range of domains and systems ranging from location-based tourist applications to motion capture. An area relatively under-represented in the li...
171
click to vote
DCC
2010
IEEE
16 years 1 months ago
2010
IEEE
This paper focuses on optimal analog mappings for zero-delay, distributed source-channel coding. The objective is to obtain the optimal vector transformations that map between m-d...
172
Voted
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
This paper provides insight into the ramifications of battery exhaustion Denial of Service (DoS) attacks on battery-powered mobile devices. Several IEEE 802.11 Wi-Fi, IEEE 802.15....
153
Voted
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
Twitter—a microblogging service that enables users to post messages (“tweets”) of up to 140 characters—supports a variety of communicative practices; participants use Twit...