Sciweavers

7762 search results - page 177 / 1553
» Availability in BitTorrent Systems
Sort
View
EICS
2009
ACM
14 years 1 months ago
Flexible and efficient platform modeling for distributed interactive systems
Distributed interactive systems often rely on platform information, used for example when migrating a user interface to a small-screen device, or when opportunistically recruiting...
Xiao Feng Qiu, T. C. Nicholas Graham
AH
2004
Springer
14 years 1 months ago
Evaluating Information Filtering Techniques in an Adaptive Recommender System
Abstract. With the huge increase in the volume of information available in digital form and the increasing diversity of Web applications, the need for efficient, reliable, informat...
John O'Donovan, John Dunnion
EDO
2000
Springer
14 years 1 months ago
Using Model Checking to Detect Deadlocks in Distributed Object Systems
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
Nima Kaveh
ATAL
2008
Springer
13 years 11 months ago
Verifying time, memory and communication bounds in systems of reasoning agents
We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where t...
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, A...
DAGSTUHL
2007
13 years 11 months ago
Software Architecture Trends and Promising Technology for Ambient Assisted Living Systems
Driven by the ongoing demographical, structural, and social changes in all modern, industrialized countries, there is a huge interest in IT-based equipment and services these days...
Martin Becker