752 search results - page 126 / 151 » A Markov Chain Model Checker |
CHI
2006
ACM
2006
ACM
Quantifying interpersonal influence in face-to-face conversations based on visual attention patterns
14 years 9 months ago
A novel measure for automatically quantifying the amount of interpersonal influence present in face-toface conversations is proposed based on the visualattention patterns of the p...
DSN
2009
IEEE
14 years 3 months ago
2009
IEEE
MAP queueing networks are recently proposed models for performance assessment of enterprise systems, such as multi-tier applications, where workloads are significantly affected b...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—We analyze how node mobility can influence the convergence time of averaging gossip algorithms on networks. Our main result is that even a small number of fully mobile nodes ca...
ICDCS
2008
IEEE
14 years 3 months ago
2008
IEEE
— In this paper, we propose a novel duty cycling algorithm for large-scale dense wireless sensor networks. The proposed algorithm is based on a social behavior of nodes in the se...
WCNC
2008
IEEE
14 years 3 months ago
2008
IEEE
Packet reservation multiple access (PRMA) protocol is an implicit reservation MAC protocol. It is initially designed for voice packets in the cellular networks [2], [3] but it is...