2162 search results - page 310 / 433 » A Meta-Notation for Protocol Analysis |
157
click to vote
MOBIDE
1999
ACM
15 years 10 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...
204
click to vote
RTSS
2006
IEEE
16 years 14 days 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...
206
click to vote
MSWIM
2005
ACM
16 years 1 days 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...
172
click to vote
GW
2005
Springer
16 years 2 hour 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...
193
click to vote
MOBIHOC
2004
ACM
15 years 12 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...