Sciweavers

934 search results - page 77 / 187
» context 2003
Sort
View
CGI
2003
IEEE
14 years 3 months ago
Image Restoration using Multiresolution Texture Synthesis and Image Inpainting
We present a new method for the restoration of digitized photographs. Restoration in this context refers to removal of image defects such as scratches and blotches as well as to r...
Hitoshi Yamauchi, Jörg Haber, Hans-Peter Seid...
CSFW
2003
IEEE
14 years 3 months ago
Anonymity and Information Hiding in Multiagent Systems
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
Joseph Y. Halpern, Kevin R. O'Neill
CSMR
2003
IEEE
14 years 3 months ago
Supporting Evolution in Component-Based Development Using Component Libraries
Component-based software development (CBSD) is a very promising software engineering technique for improving reuse and maintenance. Nevertheless, there are still some difficultie...
Miro Casanova, Ragnhild Van Der Straeten, Viviane ...
DATE
2003
IEEE
120views Hardware» more  DATE 2003»
14 years 3 months ago
SystemC-VHDL Co-Simulation and Synthesis in the HW Domain
Embedded systems design requires the development of complex HW modules to cope with the most stringent timing constraints of the specifications. This implies the need to update an...
Massimo Bombana, Francesco Bruschi
DATE
2003
IEEE
94views Hardware» more  DATE 2003»
14 years 3 months ago
SystemC-AMS Requirements, Design Objectives and Rationale
SystemC is emerging as a de-facto standard for system design but it still lacks support for continuous-time models of computation and multi-domain systems. This becomes an issue a...
Alain Vachoux, Christoph Grimm, Karsten Einwich