Sciweavers

5638 search results - page 238 / 1128
» On presence
Sort
View
WSNA
2003
ACM
15 years 12 months ago
Computation hierarchy for in-network processing
In this paper we explore the network level architecture of distributed sensor systems that perform in-network processing. We propose a system with heterogeneous nodes that organiz...
Ram Kumar, Vlasios Tsiatsis, Mani B. Srivastava
BPM
2003
Springer
75views Business» more  BPM 2003»
15 years 12 months ago
Security in Business Process Engineering
We present a general methodology for integrating arbitrary security requirements in the development of business processes in a both elegant and rigorous way. We show how trust rela...
Michael Backes, Birgit Pfitzmann, Michael Waidner
DAGM
2003
Springer
15 years 12 months ago
Local Representations for Multi-object Recognition
Abstract. Methods for the recognition of multiple objects in images using local representations are introduced. Starting from a straight forward approach, we combine the use of loc...
Thomas Deselaers, Daniel Keysers, Roberto Paredes,...
FCT
2003
Springer
15 years 12 months ago
Context-Sensitive Equivalences for Non-interference Based Protocol Analysis
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
Michele Bugliesi, Ambra Ceccato, Sabina Rossi
GW
2003
Springer
183views Biometrics» more  GW 2003»
15 years 12 months ago
A Dynamic Model for Real-Time Tracking of Hands in Bimanual Movements
Abstract. The problem of hand tracking in the presence of occlusion is addressed. In bimanual movements the hands tend to be synchronised effortlessly. Different aspects of this sy...
Atid Shamaie, Alistair Sutherland