2850 search results - page 505 / 570 » On Timed Models and Full Abstraction |
ESORICS
1994
Springer
14 years 3 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
GW
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The understanding of different bowing strategies can provide key concepts for the modelling of music performance. We report here an exploratory study of bowing gestures f...
ICDT
2007
ACM
14 years 2 months ago
2007
ACM
Abstract. We introduce approximate data exchange, by relaxing classical data exchange problems such as Consistency and Typechecking to their approximate versions based on Property ...
CLEAR
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. This paper presents a novel approach to the problem of determining head pose estimation and face 3D orientation of several people in low resolution sequences from multipl...
ASAP
1997
IEEE
14 years 2 months ago
1997
IEEE
In this paper we present an approach for quantitative analysis of application-specific dataflow architectures. The approach allows the designer to rate design alternatives in a qu...