786 search results - page 3 / 158 » A static theory of promises |
97
Voted
PDC
2004
ACM
15 years 6 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...
203
Voted
POPL
2005
ACM
16 years 1 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...
108
Voted
ICECCS
2006
IEEE
15 years 7 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...
143
click to vote
ASIAN
2009
Springer
15 years 2 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 ...
117
Voted
ICIP
2005
IEEE
16 years 2 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...