Sciweavers

3688 search results - page 408 / 738
» Static analysis of aspects
Sort
View
ICCV
2007
IEEE
16 years 1 months ago
Non-homogeneous Content-driven Video-retargeting
Video retargeting is the process of transforming an existing video to fit the dimensions of an arbitrary display. A compelling retargeting aims at preserving the viewers’ exper...
Lior Wolf, Moshe Guttmann, Daniel Cohen-Or
ECBS
2005
IEEE
58views Hardware» more  ECBS 2005»
16 years 13 days ago
MoDeII: Modeling and Analyzing Time-Constraints
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
Jewgenij Botaschanjan, Jan Jürjens
WETICE
2005
IEEE
16 years 12 days ago
Towards a formal framework for Choreography
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...
HT
2005
ACM
16 years 12 days ago
Analyzing history in hypermedia collections
This paper describes a method to analyze the history of hypermedia collections. We gathered information about documents using the Internet Archive’s Wayback Machine. Analysis fo...
Paul Davis, Alexey Maslov, Scott Phillips
CRYPTO
2005
Springer
137views Cryptology» more  CRYPTO 2005»
16 years 11 days ago
A Formal Treatment of Onion Routing
Anonymous channels are necessary for a multitude of privacy-protecting protocols. Onion routing is probably the best known way to achieve anonymity in practice. However, the crypto...
Jan Camenisch, Anna Lysyanskaya