11325 search results - page 1821 / 2265 » Active Model Selection |
161
click to vote
ISW
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
211
click to vote
IDMS
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we revisit and challenge the dogma that TCP is an undesirable choice for streaming multimedia, video in particular. For some time, the common view held that neither ...
197
click to vote
ICIP
1999
IEEE
15 years 11 months ago
1999
IEEE
Segmentation of motion in an image sequence is one of the most challenging problems in image processing, while at the same time one that finds numerous applications. To date, a wea...
194
click to vote
ECOOPW
1998
Springer
15 years 11 months ago
1998
Springer
Current object-oriented CASE tools are useful for recording and gaining insight into OO models. They offer extensive support for especially the analysis and design of object-orien...
164
click to vote
ACMICEC
2007
ACM
15 years 11 months ago
2007
ACM
The Internet and file sharing technology (such as P2P network) significantly alleviate the content distribution cost. However, better digital content distribution also means that ...