11063 search results - page 244 / 2213 » On the existence of universal models |
313
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
We propose a novel tracking algorithm that can work robustly in a challenging scenario such that several kinds of appearance and motion changes of an object occur at the same time....
193
click to vote
EUROCRYPT
2008
Springer
15 years 8 months ago
2008
Springer
The Universal Composability framework was introduced by Canetti to study the security of protocols which are concurrently executed with other protocols in a network environment. U...
175
click to vote
WAW
2007
Springer
16 years 22 days ago
2007
Springer
The geographical threshold graph model is a random graph model with nodes distributed in a Euclidean space and edges assigned through a function of distance and node weights. We st...
180
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting concerns (such as security, reliability, n...
159
click to vote
CAV
2005
Springer
16 years 5 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...