Sciweavers

2243 search results - page 155 / 449
» Contracts for Mobile Processes
Sort
View
LCPC
2001
Springer
15 years 8 months ago
A Compilation Framework for Power and Energy Management on Mobile Computers
This paper discusses the potential benefits of applicationspecific power management through remote task execution. Power management is crucial for mobile devices that have to re...
Ulrich Kremer, Jamey Hicks, James M. Rehg
ICCSA
2010
Springer
15 years 1 months ago
An Aspect-Oriented Approach for Mobile Embedded Software Modeling
Recently, it is one of the most challenging fields in software engineering for embedded software development, since the advancement of embedded technologies has made our life incre...
Yong-Yi Fanjiang, Jong-Yih Kuo, Shang-Pin Ma, Wong...
IPPS
2002
IEEE
15 years 9 months ago
Observations on Client-Server and Mobile Agent Paradigms for Resource Allocation
In this paper, we analyze the performance of a mobile agent based approach for discovering and allocating resources in large scale networks. We compare this approach with the trad...
Mohamed Bakhouya, Jaafar Gaber, Abder Koukam
APLAS
2005
ACM
15 years 6 months ago
A Parametric Model for the Analysis of Mobile Ambients
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...
Dino Distefano
ECAI
2008
Springer
15 years 6 months ago
An Attentive Machine Interface Using Geo-Contextual Awareness for Mobile Vision Tasks
The presented work settles attention in the architecture of ambient intelligence, in particular, for the application of mobile vision tasks in multimodal interfaces. A major issue...
Katrin Amlacher, Lucas Paletta