5119 search results - page 814 / 1024 » Security Privacy |
192
click to vote
ISI
2010
Springer
15 years 4 months ago
2010
Springer
Social Media provide an exciting and novel view into social phenomena. The vast amounts of data that can be gathered from the Internet coupled with massively parallel supercomputer...
188
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
190
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
The usage of optimistic version control systems comes along with cumbersome and time-consuming conflict resolution in the case that the modifications of two developers are contrad...
181
click to vote
SAFECOMP
2010
Springer
15 years 4 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...
233
click to vote
SDMW
2010
Springer
15 years 4 months ago
2010
Springer
Searchable encryption is a technique that allows a client to store documents on a server in encrypted form. Stored documents can be retrieved selectively while revealing as little ...