2119 search results - page 240 / 424 » Structure-Preserving Model Reduction |
116
click to vote
STACS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
151
click to vote
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper focuses on the mode decision and motion selection problem when H.264/AVC video streams are transcoded in spatial resolution. A fast downsizing transcoding scheme is dev...
QEST
2006
IEEE
15 years 9 months ago
2006
IEEE
— UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements ...
115
click to vote
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
123
click to vote
EUROCRYPT
2004
Springer
15 years 8 months ago
2004
Springer
We describe a short signature scheme that is strongly existentially unforgeable under an adaptive chosen message attack in the standard security model. Our construction works in g...