Sciweavers

1654 search results - page 83 / 331
» Comparing Two Software Design Process Theories
Sort
View
104
Voted
SIGSOFT
2005
ACM
16 years 3 months ago
Lightweight object specification with typestates
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
Kevin Bierhoff, Jonathan Aldrich
GECCO
2007
Springer
198views Optimization» more  GECCO 2007»
15 years 8 months ago
On the design of optimisers for surface reconstruction
In many industrial applications the need for an efficient and high-quality reconstruction of free-form surfaces does exist. Surface Reconstruction – the generation of CAD models...
Tobias Wagner, Thomas Michelitsch, Alexei Sacharow
QSIC
2005
IEEE
15 years 8 months ago
A Preliminary Evaluation of Software Inspection Tools, with the DESMET Method
Software inspections are established means of ensuring quality in software engineering. The traditional paper-based inspections are considered too laborious for widespread usage, ...
Henrik Hedberg, Jouni Lappalainen
WSCG
2003
174views more  WSCG 2003»
15 years 3 months ago
An Efficient Algorithm for Codebook Design in Transform Vector Quantization
In this paper, a new wavelet-domain codebook design algorithm is proposed for image coding. The method utilizes mean-squared error and variance based selection schemes for good cl...
Momotaz Begum, Nurun Nahar, Kaneez Fatimah, M. K. ...
RTSS
2000
IEEE
15 years 6 months ago
Performance Specifications and Metrics for Adaptive Real-Time Systems
While early research on real-time computing was concerned with guaranteeing avoidance of undesirable effects such as overload and deadline misses, adaptive real-time systems are d...
Chenyang Lu, John A. Stankovic, Tarek F. Abdelzahe...