786 search results - page 3 / 158 » A static theory of promises |
PDC
2004
ACM
15 years 3 months ago
2004
ACM
This paper describes and analyses the early developmental stages of a community learning network based in an urban community and social service agency. With government funding, th...
163
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
Several formal languages have been proposed to encode privacy policies, ranging from the Platform for Privacy Preferences (P3P), intended for communicating privacy policies to con...
ICECCS
2006
IEEE
15 years 3 months ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
115
click to vote
ASIAN
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Static equivalence is a well established notion of indistinguishability of sequences of terms which is useful in the symbolic analysis of cryptographic protocols. Static ...
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a system that can automatically recognize four different static human body postures in video sequences. The considered postures are standing, sitting, squattin...