7274 search results - page 78 / 1455 » Abstractions for network update |
POPL
2007
ACM
14 years 11 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
NETGAMES
2003
ACM
14 years 4 months ago
2003
ACM
Abstract— Multiplayer games become increasingly popular, mostly because they involve interaction among humans. Typically, multiplayer games are organized based on a Client-Server...
CHI
2009
ACM
14 years 3 months ago
2009
ACM
This research explores how to communicate an individuals’ self-reported emotional state to members of their personal social network, through automatic, computer-generated, perso...
CONEXT
2005
ACM
14 years 1 months ago
2005
ACM
Dynamic networks appear in several contexts: QoS routing faces the difficult problem of accurately and efficiently maintaining, distributing and updating network state information...
WOWMOM
2005
ACM
14 years 4 months ago
2005
ACM
Abstract— Wireless mesh networks are multihop networks of wireless routers typically used for wireless coverage over a large community. Applications include community-scale peer-...