Sciweavers

15792 search results - page 2751 / 3159
» Computational Abstraction Steps
Sort
View
E4MAS
2004
Springer
16 years 10 days ago
A Spatially Dependent Communication Model for Ubiquitous Systems
Models and conceptualizations are necessary to understand and design ubiquitous systems that are context–aware not just from a technological point of view. The current technologi...
Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
ECAI
2004
Springer
16 years 10 days ago
Tractability Results for Automatic Contracting
Abstract. Automated negotiation techniques have received considerable attention over the past decade, and much progress has been made in developing negotiation protocols and strate...
Paul E. Dunne, Michael Laurence, Michael Wooldridg...
ECUMN
2004
Springer
16 years 10 days ago
A Hybrid Overlay Topology for Wide Area Multicast Sessions
Abstract. MPNT (Multicast Proxies NeTwork) is an overlay architecture that was first conceived to provide multicast access to unicast-only users, like TutTelNet distant students. ...
Rédouane Benaini, Karim Sbata, Pierre Vince...
EMSOFT
2004
Springer
16 years 10 days ago
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
Albert Benveniste, Benoît Caillaud, Luca P. ...
EUC
2004
Springer
16 years 10 days ago
Implementing Cooperative Caching in Distributed Streaming Media Server Clusters
Abstract. In distributed streaming media server clusters, by adopting cooperative caching (CC) technique, the free memory of all the servers can be combined to form a bigger, logic...
Tiecheng Gu, Baoliu Ye, Minyi Guo, Daoxu Chen
« Prev « First page 2751 / 3159 Last » Next »