2850 search results - page 367 / 570 » On Timed Models and Full Abstraction |
174
click to vote
EUROCRYPT
2007
Springer
16 years 24 days ago
2007
Springer
Protocols proven secure within the universal composability (UC) framework satisfy strong and desirable security properties. Unfortunately, it is known that within the “plain” m...
204
click to vote
VALUETOOLS
2006
ACM
16 years 18 days ago
2006
ACM
Cache locality optimization is an efficient way for reducing the idle time of modern processors in waiting for needed data. This kind of optimization can be achieved either on the...
196
click to vote
WIKIS
2005
ACM
16 years 6 days ago
2005
ACM
Good documentation benefits every software development project, especially large ones, but it can be hard, costly, and tiresome to produce when not supported by appropriate tools...
226
click to vote
CIVR
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, a motion-based approach for detecting highlevel semantic events in video sequences is presented. Its main characteristic is its generic nature, i.e. it can be direc...
189
click to vote
CVIU
2004
15 years 6 months ago
2004
The content of an image can be summarized by a set of homogeneous regions in an appropriate feature space. When exact shape is not important, the regions can be represented by sim...