Sciweavers

3836 search results - page 437 / 768
» Dynamic Communicators in MPI
Sort
View
TARK
2007
Springer
16 years 25 days ago
From conditional probability to the logic of doxastic actions
We investigate the discrete (finite) case of the Popper-Renyi theory of conditional probability, introducing discrete conditional probabilistic models for (multi-agent) knowledge...
Alexandru Baltag, Sonja Smets
ACSC
2006
IEEE
16 years 24 days ago
Interaction design for a mobile context-aware system using discrete event modelling
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
Annika Hinze, Petra Malik, Robi Malik
COMSWARE
2006
IEEE
16 years 24 days ago
Exploiting multi-channel clustering for power efficiency in sensor networks
Sensor networks typically comprise of a number of inexpensive small devices with processing, communication and sensing abilities that collaborate to perform a common task. Sensor d...
Ashima Gupta, Chao Gui, Prasant Mohapatra
GLOBECOM
2006
IEEE
16 years 24 days ago
FEAT: Improving Accuracy in End-to-end Available Bandwidth Measurement
—This report describes our ongoing work on a new end-to-end available-bandwidth measurement tool: FEAT (Fish-Eye Availablebandwidth Tool). FEAT features a new dynamic pattern of ...
Qiang Wang, Liang Cheng
GLOBECOM
2006
IEEE
16 years 24 days ago
Building A Monitoring Overlay for Peer-to-Peer Streaming
— Current peer-to-peer (P2P) streaming systems often assume that nodes are cooperative to upload and download data. However, in the open environment of the Internet, this is not ...
Xing Jin, Qiuyan Xia, S.-H. Gary Chan