Sciweavers

6192 search results - page 253 / 1239
» Distributed Control of Attention
Sort
View
COMPSEC
2010
93views more  COMPSEC 2010»
15 years 5 months ago
Roving bugnet: Distributed surveillance threat and mitigation
Abstract Advanced mobile devices such as laptops and smartphones make convenient hiding places for surveillance spyware. They commonly have a microphone and camera built-in, are in...
Ryan Farley, Xinyuan Wang
133
Voted
FROCOS
2005
Springer
15 years 10 months ago
A Complete Temporal and Spatial Logic for Distributed Systems
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
Dirk Pattinson, Bernhard Reus
WOSP
2004
ACM
15 years 10 months ago
Computing the performability of layered distributed systems with a management architecture
This paper analyzes the performability of client-server applications that use a separate fault management architecture for monitoring and controlling of the status of the applicat...
Olivia Das, C. Murray Woodside
116
Voted
AAAI
2010
15 years 6 months ago
A Distributed Method for Evaluating Properties of a Robot Formation
As a robot formation increases in size or explores places where it is difficult for a human operator to interact, autonomous control becomes critical. We propose a distributed aut...
Brent Beer, Ross Alan Mead, Jerry B. Weinberg
CORR
2008
Springer
71views Education» more  CORR 2008»
15 years 5 months ago
Distributed Double Spending Prevention
Abstract. We study the problem of preventing double spending in electronic payment schemes in a distributed fashion. This problem occurs, for instance, when the spending of electro...
Jaap-Henk Hoepman