Sciweavers

5186 search results - page 768 / 1038
» Embedded Systems
Sort
View
EMSOFT
2010
Springer
15 years 4 months ago
A marketplace for cloud resources
Cloud computing is an emerging paradigm aimed to offer users pay-per-use computing resources, while leaving the burden of managing the computing infrastructure to the cloud provid...
Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, T...
FM
2009
Springer
189views Formal Methods» more  FM 2009»
15 years 4 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...
ANSOFT
2002
126views more  ANSOFT 2002»
15 years 6 months ago
The Real-Time Process Algebra (RTPA)
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
Yingxu Wang
ICPR
2004
IEEE
16 years 7 months ago
An Image Watermarking Scheme using HVS Characteristics and Spread Transform
The paper presents a robust digital image watermarking scheme that uses both the characteristics of the human visual system (HVS) and statistical information measure. Spread trans...
Malay Kumar Kundu, Santi P. Maity
VCIP
2003
132views Communications» more  VCIP 2003»
15 years 7 months ago
Layered self-identifiable and scalable video codec for delivery to heterogeneous receivers
This paper describes the development of a layered structure of a multi-resolutional scalable video codec based on the Color Set Partitioning in Hierarchical Trees (CSPIHT) scheme....
Wei Feng, Ashraf A. Kassim, Chen-Khong Tham