24421 search results - page 427 / 4885 » Communicating Complex Systems |
140
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
129
click to vote
ITICSE
2010
ACM
15 years 4 months ago
2010
ACM
Teaching wireless sensor networks (WSNs) at the undergraduate level is both challenging and rewarding. WSNs include low-level programming and debugging, power-aware operations, no...
ASPDAC
2005
ACM
15 years 10 months ago
2005
ACM
— As we are entering the network-on-chip era and system communication is becoming a dominating factor, comon abstraction and synthesis are becoming the integral part of system de...
138
click to vote
SIGOPSE
2004
ACM
15 years 9 months ago
2004
ACM
This paper describes a cooperative overlay network that provides anonymous communication services for participating users. The Anonymizing Peer-to-Peer Proxy (AP3) system provides...
118
click to vote
HRI
2007
ACM
15 years 8 months ago
2007
ACM
This paper describes a group attention control (GAC) system that enables a communication robot to simultaneously interact with many people. GAC is based on controlling social situ...