Sciweavers

4349 search results - page 583 / 870
» A Comprehensive Process Model for Studying Software Process ...
Sort
View
FMICS
2007
Springer
15 years 10 months ago
Checking the TWIN Elevator System by Translating Object-Z to SMV
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...
Sören Preibusch, Florian Kammüller
FDL
2006
IEEE
15 years 10 months ago
Bridging the Gap Between SysML and Design Space Exploration
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...
Mauro Prevostini, Sivakumar Ganesan
MM
2000
ACM
94views Multimedia» more  MM 2000»
15 years 8 months ago
A digital television navigator
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...
Chengyuan Peng, Petri Vuorimaa
ICMCS
2007
IEEE
203views Multimedia» more  ICMCS 2007»
15 years 8 months ago
Advanced Lagrange Multiplier Selection for Hybrid Video Coding
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...
Xiang Li, Norbert Oertel, Andreas Hutter, Andr&eac...
EISWT
2007
15 years 5 months ago
New Work Modes for Collaborative Writing
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...
Hala Skaf-Molli, Claudia-Lavinia Ignat, Charbel Ra...