Sciweavers

2704 search results - page 259 / 541
» Constraint Management in Engineering of Complex Information ...
Sort
View
EUROMICRO
1996
IEEE
15 years 10 months ago
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
Jeroen Voeten, P. H. A. van der Putten, M. P. J. S...
ICSM
2002
IEEE
15 years 11 months ago
Maintaining Software with a Security Perspective
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
Kanta Jiwnani, Marvin V. Zelkowitz
ICMCS
2006
IEEE
179views Multimedia» more  ICMCS 2006»
16 years 18 days ago
Optimizing Algorithms for Region-of-Interest Video Compression, with Application to Mobile Telehealth
Wireless communication of video poses constraints on information capacity. Region-of-Interest (ROI) video coding provides higher quality in the ROI, but poorer quality in the back...
Sira Rao, Nikil Jayant
AINA
2009
IEEE
15 years 11 months ago
Services to the Field: An Approach for Resource Constrained Sensor/Actor Networks
Nowadays more and more devices of daily life are connected to each other and are integrated into massively distributed networks of embedded devices. These devices range from consu...
Christian Buckl, Stephan Sommer, Andreas Scholz, A...
CSMR
2005
IEEE
16 years 6 days ago
A Process Model and Typology for Software Product Updaters
Product software is constantly evolving through extensions, maintenance, changing requirements, changes in configuration settings, and changing licensing information. Managing ev...
Slinger Jansen, Gerco Ballintijn, Sjaak Brinkkempe...