1681 search results - page 174 / 337 » Formal Design of Distributed Control Systems with Lustre |
JNW
2007
14 years 10 months ago
2007
Abstract— A location tracking sensor network is being deployed in several buildings at the University of Michigan to help explore issues in design of pervasive environments. Mana...
101
click to vote
INFOCOM
2012
IEEE
13 years 16 days ago
2012
IEEE
Abstract—BitTorrent has been the most popular P2P (Peer-toPeer) paradigm during recent years. Built upon great intuition, the piece-selection and neighbor-selection modules roote...
ICDCS
1998
IEEE
15 years 2 months ago
1998
IEEE
With the advancement of wireless network and mobile computing, there is an increasing need to build a mobile le system that can perform e ciently and correctly for accessing onlin...
EMSOFT
2010
Springer
14 years 8 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
SENSYS
2004
ACM
15 years 3 months ago
2004
ACM
The enormous potential for wireless sensor networks to make a positive impact on our society has spawned a great deal of research on the topic, and this research is now producing ...