20 search results - page 4 / 4 » Weak Bisimulation and Open Maps |
ENTCS
2006
15 years 1 months ago
2006
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
112
click to vote
DRM
2008
Springer
15 years 3 months ago
2008
Springer
The recent attack on Apple iTunes Digital Rights Management [17] has brought to light the usefulness of proxy re-encryption schemes for Digital Rights Management. It is known that...
150
click to vote
3DIM
2011
IEEE
14 years 1 months ago
2011
IEEE
—Image-based computation of a 3D map for an indoor environment is a very challenging task, but also a useful step for vision-based navigation and path planning for autonomous sys...
139
click to vote
SCN
2010
Springer
15 years 14 hour ago
2010
Springer
Exposure of a secret key is a significant threat in practice. As a notion of security against key exposure, Dodis et al. advocated key-insulated security, and proposed concrete k...
145
Voted
Publication
Ease of deployment, wireless connectivity and ubiquitous mobile on-the-go computing has made the IEEE 802.11 the most widely deployed Wireless Local Area Network (WLAN) sta...