393 search results - page 21 / 79 » The PADS project: an overview |
ICSE
2003
IEEE-ACM
14 years 1 months ago
2003
IEEE-ACM
Architectural considerations play a key role in the success of any software-based development project. Architecture evaluation is an early risk reduction method for identifying ri...
SRDS
1999
IEEE
14 years 27 days ago
1999
IEEE
Implementing an Online Shop can be a risky project, since there's no widespread and profound knowledge and experiences. This guideline is intended to support managing the org...
CATS
2006
13 years 10 months ago
2006
This paper gives an overview of a pilot project on the specification and verification of the L4 highperformance microkernel. Of the three aspects examined in the project, we descr...
FAC
2008
13 years 8 months ago
2008
Ten years ago the Mondex electronic purse was certified to ITSEC Level E6, the highest level of assuranceforsecuresystems.ThisinvolvedbuildingformalmodelsintheZnotation,linkingthem...
IJVR
2006
13 years 8 months ago
2006
In this paper, we will explain our approach to create and animate virtual characters for real-time rendering applications in an easy and intuitive way. Furthermore we show a way ho...