1880 search results - page 81 / 376 » A Static Analysis for Beta-Binders |
100
click to vote
ICIP
2005
IEEE
16 years 1 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...
216
click to vote
POPL
2007
ACM
16 years 2 days ago
2007
ACM
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a p...
IEEEARES
2008
IEEE
15 years 6 months ago
2008
IEEE
Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...
VTC
2008
IEEE
15 years 6 months ago
2008
IEEE
— To support dynamic traffic-asymmetry property in future wireless communication systems, we propose a hybridTDD scheme, combination of static-TDD and dynamic-TDD. By using adap...
ENTCS
2006
14 years 11 months ago
2006
There are two main ways of defining secrecy of cryptographic protocols. The first version checks if the adversary can learn the value of a secret parameter. In the second version,...