Sciweavers

4859 search results - page 158 / 972
» Distributed Computing in a Heterogeneous Computing Environme...
Sort
View
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
15 years 8 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
PDP
2003
IEEE
15 years 7 months ago
QoS-aware Accounting in Mobile Computing Scenarios
The enlarging market of portable devices and wireless networks stimulates the provisioning of mobilityenabled Internet services with differentiated levels of Quality of Service (Q...
Paolo Bellavista, Antonio Corradi, Silvia Vecchi
CN
2007
115views more  CN 2007»
15 years 2 months ago
Energy-aware QoS for application sessions across multiple protocol domains in mobile computing
The proliferation of heterogeneous devices and diverse networking technologies demands flexible models to guarantee the quality-of-service(QoS) at the application session level, ...
Hanping Lufei, Weisong Shi
PPAM
2007
Springer
15 years 8 months ago
A Formal Model of Multi-agent Computations
Abstract. The paper contains an extension of a formal model of multiagent computing system developed in previous publications towards considering a more general system state. We pr...
Maciej Smolka