4349 search results - page 590 / 870 » A Comprehensive Process Model for Studying Software Process ... |
154
Voted
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...
136
click to vote
CAV
2001
Springer
15 years 8 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
178
click to vote
GAMEON
2003
15 years 5 months ago
2003
Simulation has been regarded as the third way to represent social models, alternative to other two symbol systems: the verbal argumentation and the mathematical one. Simulation ca...
110
Voted
WSC
1998
15 years 5 months ago
1998
Hong Kong possesses one of the world's largest public housing stocks which provide accommodation for 3.1 million people. To meet the growing need for public housing, the gove...
137
click to vote
ICIP
2002
IEEE
16 years 5 months ago
2002
IEEE
This paper studies a progressive image transmission technique over waveform channels. The Channel Optimized Vector Quantization codec (COVQ) [1] is applied to the image wavelet co...