Sciweavers

488 search results - page 5 / 98
» On the Formal Generation of Process Redesigns
Sort
View
70
Voted
ICIP
2006
IEEE
15 years 11 months ago
Error Inhomogeneity of Wavelet Image Compression
Despite the popularity of wavelet-based image compression, its error inhomogeneity - the error that is different for even and odd pixel locations, has not been previously analyzed...
Naixiang Lian, Vitali Zagorodnov, Yap-Peng Tan
HICSS
2002
IEEE
123views Biometrics» more  HICSS 2002»
15 years 2 months ago
The Dynamics of IT Adoption in a Major Change Process in Healthcare Delivery
The main objective of the study is to comprehend the dynamics of interactions between partners (caregivers, promoters, consultants, patients and managers) involved in the implemen...
Liette Lapointe, Lise Lamothe, Jean-Paul Fortin
SIGSOFT
1998
ACM
15 years 1 months ago
Reengineering Class Hierarchies Using Concept Analysis
The design of a class hierarchy may be imperfect. For example, a class C may contain a member m not accessed in any C-instance, an indication that m could be eliminated, or moved ...
Gregor Snelting, Frank Tip
75
Voted
FAC
2007
122views more  FAC 2007»
14 years 9 months ago
Formal techniques for performance analysis: blending SAN and PEPA
Abstract. In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, an...
Jane Hillston, Leïla Kloul
SDL
2007
171views Hardware» more  SDL 2007»
14 years 11 months ago
Model Driven Development and Code Generation: An Automotive Case Study
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
Michele Banci, Alessandro Fantechi, Stefania Gnesi...