Sciweavers

5792 search results - page 836 / 1159
» Communicating With Multiple Agents
Sort
View
FMCO
2008
Springer
109views Formal Methods» more  FMCO 2008»
15 years 8 months ago
Session-Based Compilation Framework for Multicore Programming
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...
Nobuko Yoshida, Vasco Thudichum Vasconcelos, Herv&...
ICWS
2008
IEEE
15 years 8 months ago
A Dependable Infrastructure for Cooperative Web Services Coordination
A current trend in the web services community is to define coordination mechanisms to execute collaborative tasks involving multiple organizations. Following this tendency, this w...
Eduardo Adílio Pelinson Alchieri, Alysson N...
ICSOFT
2007
15 years 8 months ago
Interoperating Context Discovery Mechanisms
Context-Aware applications adapt their behaviour to the current situation of the user. This information, for instance user location and user availability, is called context informa...
Tom Broens, Remco Poortinga, Jasper Aarts
CCS
2010
ACM
15 years 7 months ago
Efficient provable data possession for hybrid clouds
Provable data possession is a technique for ensuring the integrity of data in outsourcing storage service. In this paper, we propose a cooperative provable data possession scheme ...
Yan Zhu, Huaixi Wang, Zexing Hu, Gail-Joon Ahn, Ho...
CORR
2008
Springer
152views Education» more  CORR 2008»
15 years 6 months ago
It's Not What You Have, But How You Use It: Compromises in Mobile Device Use
As users begin to use many more devices for personal information management (PIM) than just the traditional desktop computer, it is essential for HCI researchers to understand how...
Manas Tungare, Manuel A. Pérez-Quiño...