1268 search results - page 74 / 254 » Verifying distributed systems: the operational approach |
168
click to vote
ISCA
2005
IEEE
15 years 11 months ago
2005
IEEE
Recent years have seen a burgeoning interest in embedded wireless sensor networks with applications ranging from habitat monitoring to medical applications. Wireless sensor networ...
170
click to vote
ICB
2007
Springer
16 years 9 days ago
2007
Springer
There are increasing requirements for mobile personal identification, e.g. to protect identity theft in wireless applications. Based on built-in cameras of mobile devices, palmprin...
158
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
184
click to vote
ICC
2007
IEEE
16 years 14 days ago
2007
IEEE
— In modern wireless networks the functions included into layer II have to deal with complex problems, such as security and access control, that were previously demanded to upper...
163
click to vote
HIPC
2007
Springer
16 years 9 days ago
2007
Springer
This paper presents our work in combining peer-to-peer dynamic tree management with hierarchical Operational Transformation (OT) over document trees to achieve low computational an...