15792 search results - page 2913 / 3159 » Computational Abstraction Steps |
196
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
Abstract—In this paper, we propose to leverage cloud computing to tame resource-poor mobile devices. Specifically, mobile applications can be executed in the mobile device (know...
319
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
Abstract—Energy is the most precious resource in wireless sensor networks. To ensure sustainable operations, wireless sensor systems need to harvest energy from environments. The...
213
click to vote
CADE
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
128
click to vote
GI
2003
Springer
15 years 11 months ago
2003
Springer
Abstract: Beim Ubiquitous Computing sollen unz¨ahlige verschiedene Ger¨ate in spontaner Kooperation Dienste auf intelligente und benutzerfreundliche Weise erbringen. Ein Dienst k...
270
Voted
ICTAC
2010
Springer
15 years 4 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...