Sciweavers

3052 search results - page 133 / 611
» Weakly Distributive Domains
Sort
View
RTCSA
2005
IEEE
15 years 10 months ago
A Distributed Middleware Solution for Context Awareness in Ubiquitous Systems
Context aware middleware infrastructures have traditionally been implemented with a modular approach to allow different components to work cooperatively and supply context synthes...
Saad Liaquat Kiani, Maria Riaz, Yonil Zhung, Sungy...
LPAR
2005
Springer
15 years 10 months ago
Towards Automated Proof Support for Probabilistic Distributed Systems
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
Annabelle McIver, Tjark Weber
MATES
2005
Springer
15 years 10 months ago
The Distributed Weighing Problem: A Lesson in Cooperation Without Communication
Abstract. Cooperative problem solving without communication is an oftenstudied field within multi-agent research. Realistic problems investigated in this particular field are compl...
Tibor Bosse, Mark Hoogendoorn, Catholijn M. Jonker
HICSS
1998
IEEE
104views Biometrics» more  HICSS 1998»
15 years 8 months ago
Managing Metadata for Distributed Information Servers
In this paper we present the design and implementation of a distributed index architecture to facilitate metadata discovery on large networks. Many current information discovery s...
Nigel Hinds, Chinya V. Ravishankar
HICSS
1994
IEEE
118views Biometrics» more  HICSS 1994»
15 years 8 months ago
A Distributed Architecture for an Instructable Problem Solver
Our research goal is to design systems that enable humans to teach tedious, repetitive, simple tasks to a computer. We propose here a learner/problem solver architecture for such ...
Jacky Baltes, Bruce A. MacDonald