468 search results - page 76 / 94 » Challenges and Directions for Semantic Communication |
147
click to vote
FASE
2011
Springer
14 years 1 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
107
click to vote
FEDCSIS
2011
13 years 9 months ago
2011
—Nowadays, embedded systems are widely used. It is extremely difficult to analyze safety issues in embedded systems, to relate the safety analysis results to the actual parts, a...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
We present an empirical investigation of video-mediated free play between 13 pairs of friends (ages 7 and 8). The pairs spent 10 minutes playing with each of four different protot...
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— We present an approach for smooth and collisionfree navigation of multiple mobile robots amongst each other. Each robot senses its surroundings and acts independently w...
ICDCS
1996
IEEE
15 years 1 months ago
1996
IEEE
Mobile hosts in a wireless network can move from one location to another while communicating with other hosts. A challenge is to provide seamless network access for mobile hosts a...