6137 search results - page 824 / 1228 » Securing Collaborative Applications |
205
click to vote
SAFECOMP
2010
Springer
15 years 5 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
211
click to vote
SPIC
2010
15 years 2 months ago
2010
This paper presents a complete framework for attention-based video streaming for low bandwidth networks. First, motivated by the fovea-periphery distinction of biological vision s...
231
click to vote
TELSYS
2010
15 years 2 months ago
2010
As Voice over IP (VoIP) applications become increasingly popular, they are more and more facing security challenges that have not been present in the traditional Public Switched Te...
213
click to vote
SIGMOD
2011
ACM
14 years 10 months ago
2011
ACM
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network provenance in a distributed system. Network provenance describes the history an...
219
click to vote
IACR
2011
14 years 7 months ago
2011
We give new methods for generating and using “strong trapdoors” in cryptographic lattices, which are simultaneously simple, efficient, easy to implement (even in parallel), a...