Sciweavers

8555 search results - page 239 / 1711
» Property Based Coordination
Sort
View
CORR
2004
Springer
103views Education» more  CORR 2004»
15 years 7 months ago
Towards a Model-Based Framework for Integrating Usability and Software Engineering Life Cycles
: In this position paper we propose a process model that provides a development infrastructure in which the usability engineering and software engineering life cycles co-exist in c...
Pardha S. Pyla, Manuel A. Pérez-Quiñ...
IEEECIT
2010
IEEE
15 years 5 months ago
Hiding Short Secret Messages based on Linguistic Steganography and Manual Annotation
—This article shows to what extent it is possible to develop a public simple mechanism for hiding information in natural language by means of the use of templates and manual anno...
Alfonso Muñoz Muñoz, Justo Carracedo...
ICIP
2009
IEEE
15 years 5 months ago
Wavelet based fuzzy perceptual mask for images
One of the characteristics of the Human Visual System (HVS) is to model the sensitivity of the human eye at each coordinate location in the image. This paper explores the use of fu...
Mukesh C. Motwani, Rakhi C. Motwani, Frederick C. ...
IFIP
2007
Springer
16 years 1 months ago
A Framework for QoS Contract Negotiation in Component-Based Applications
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...
Mesfin Mulugeta, Alexander Schill
ICFP
1997
ACM
15 years 11 months ago
A Modular, Polyvariant, and Type-Based Closure Analysis
We observe that the principal typing property of a type system is the enabling technology for modularity and separate compilation [10]. We use this technology to formulate a modul...
Anindya Banerjee