4349 search results - page 583 / 870 » A Comprehensive Process Model for Studying Software Process ... |
136
click to vote
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
165
click to vote
FDL
2006
IEEE
15 years 10 months ago
2006
IEEE
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
118
click to vote
MM
2000
ACM
15 years 8 months ago
2000
ACM
Digital television is a new, interesting, and rich platform for developing next generation multimedia services. Navigator is the most important Multimedia service of digital telev...
131
click to vote
ICMCS
2007
IEEE
15 years 8 months ago
2007
IEEE
The Lagrangian multiplier based rate-distortion optimization has been proved to be an effective way in hybrid video coding. In this paper, an advanced Lagrange multiplier selectio...
122
click to vote
EISWT
2007
15 years 5 months ago
2007
In the recent years, due to the emergence of new models of production based on collaboration, collaborative writing tools started to be increasingly used by various communities. D...