2162 search results - page 310 / 433 » A Meta-Notation for Protocol Analysis |
MOBIDE
1999
ACM
15 years 2 months ago
1999
ACM
Mobile applications increasingly require transaction-like properties, particularly those of recovery. Because there is a lack of abstractions to decompose the machinery of recover...
101
click to vote
RTSS
2006
IEEE
15 years 4 months ago
2006
IEEE
Location services are essential to many applications running on a hybrid of wirelessly-networked mobile actors and static sensors, such as surveillance systems and the Pursuer and...
104
click to vote
MSWIM
2005
ACM
15 years 3 months ago
2005
ACM
The increase of IEEE 802.11’s bandwidth led to a deployment of many multimedia applications over wireless networks. Nevertheless, these applications impose stringent constraints...
GW
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The work described in this abstract presents a roadmap towards the creation and specification of a virtual humanoid capable of performing expressive gestures in real tim...
MOBIHOC
2004
ACM
15 years 3 months ago
2004
ACM
In this work, we develop an analytical framework to investigate the behavior of the communication links of a node in a random mobility environment. Analytical expressions characte...