741 search results - page 122 / 149 » A Local System for Classical Logic |
TASE
2007
IEEE
14 years 2 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
ESOP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
SAINT
2006
IEEE
14 years 2 months ago
2006
IEEE
We present a novel approach to conserve power in networked mobile devices. Our approach exploits communication within a pervasive smart space as an opportunity to save power as op...
OTM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Between high-performance clusters and grids appears an intermediate infrastructure called cluster grid that corresponds to the interconnection of clusters through the Int...
MIDDLEWARE
2004
Springer
14 years 2 months ago
2004
Springer
Several works on grid computing have been proposed in the last years. However, most of them, including available software, can not deal properly with some issues related to contro...