1336 search results - page 191 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
110
click to vote
EWSA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...
163
click to vote
NEUROSCIENCE
2001
Springer
15 years 8 months ago
2001
Springer
We propose a theoretical framework for specification and analysis of a class of learning problems that arise in open-ended environments that contain multiple, distributed, dynamic...
158
Voted
DAGSTUHL
2006
15 years 4 months ago
2006
Abstract. "Cognitive computer vision is concerned with integration and control of vision systems using explicit but not necessarily symbolic models of context, situation and g...
130
Voted
ICMI
2009
Springer
15 years 10 months ago
2009
Springer
Floor control is a scheme used by people to organize speaking turns in multi-party conversations. Identifying the floor control shifts is important for understanding a conversati...
141
click to vote
SIGMETRICS
2010
ACM
15 years 8 months ago
2010
ACM
This paper addresses the problem of determining the node locations in ad-hoc sensor networks when only connectivity information is available. In previous work, we showed that the ...