Sciweavers

7762 search results - page 177 / 1553
» Availability in BitTorrent Systems
Sort
View
107
Voted
EICS
2009
ACM
15 years 7 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
123
Voted
AH
2004
Springer
15 years 7 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
120
Voted
EDO
2000
Springer
15 years 7 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
15 years 5 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
15 years 4 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