326 search results - page 40 / 66 » Tailoring and Verifying Software Process |
ISORC
2008
IEEE
14 years 2 months ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
FASE
2008
Springer
13 years 10 months ago
2008
Springer
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
SIMUTOOLS
2008
13 years 10 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
ICIP
2008
IEEE
14 years 10 months ago
2008
IEEE
Digital images have seen increased use in applications where their authenticity is of prime importance. This proves to be problematic due to the widespread availability of digital...
ICIP
2006
IEEE
14 years 10 months ago
2006
IEEE
JVT Scalable Video Coding (SVC) provides high coding efficiency for progressive video sequences with combined scalability. However, interlaced SVC is only the straightforward exte...