5599 search results - page 436 / 1120 » Abstract State Services |
197
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
A user task often spans multiple heterogeneous devices, e.g., working on a PC in the office and continuing the work on a laptop or a mobile phone while commuting on a shuttle. How...
186
click to vote
CEJCS
2011
14 years 6 months ago
2011
: Effective validation of distributed real-time and embedded (DRE) system quality-of-service (QoS) properties (e.g., event prioritization, latency, and throughput) requires testin...
185
click to vote
FIW
2003
15 years 8 months ago
2003
Abstract. Features provide extensions to a basic service, but in new systems users require much greater flexibility oriented towards their needs. Traditional features do not easil...
213
click to vote
BROADNETS
2004
IEEE
15 years 10 months ago
2004
IEEE
The scarcity and large fluctuations of link bandwidth in wireless networks have motivated the development of adaptive multimedia services in mobile communication networks, where i...
168
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
ion-Guided Synthesis of Synchronization Martin Vechev IBM Research Eran Yahav IBM Research Greta Yorsh IBM Research We present a novel framework for automatic inference of effici...