Sciweavers

13 search results - page 3 / 3
» Maintaining Property Libraries in Product Classification Sch...
Sort
View
98
Voted
ASM
2003
ASM
15 years 5 months ago
A Framework for Proving Contract-Equipped Classes
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
Bertrand Meyer
125
Voted
IJNSEC
2008
164views more  IJNSEC 2008»
15 years 7 days ago
Secure Real-Time Streaming Protocol (RTSP) for Hierarchical Proxy Caching
Proxies are commonly used to cache objects, especially multimedia objects, so that clients can enjoy better quality-of-service (QoS) guarantees such as smaller startup latency and...
Yeung Siu Fung, John C. S. Lui, David K. Y. Yau
106
Voted
AXMEDIS
2006
IEEE
241views Multimedia» more  AXMEDIS 2006»
15 years 4 months ago
SMIL to MPEG-4 BIFS Conversion
Traditional media, such as text, image, audio and video, have long been the main media resources and granted full support of standard desktop tools and applications. Interactive r...
Beilu Shao, Laureano Moro Velazquez, Nicolas Scari...