Sciweavers

6192 search results - page 126 / 1239
» Distributed Control of Attention
Sort
View
PROMS
2001
Springer
110views Multimedia» more  PROMS 2001»
15 years 7 months ago
On the End-User QoS-Awareness of a Distributed Service Environment
A lot of attention has been given to network quality of service and efforts to make layers on top of the network also QoS-aware increase noticeably. This paper explores QoS-aware s...
Ing Widya, R. E. Stap, L. J. Teunissen, B. Frank H...
AAAI
2004
15 years 4 months ago
Model Checking Temporal Logics of Knowledge in Distributed Systems
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
Kaile Su
90
Voted
ICDCSW
2003
IEEE
15 years 8 months ago
Access-Controlled Resource Discovery for Pervasive Networks
R. S. Sarath Babu, P. Govindaraj