3498 search results - page 427 / 700 » Role Model Based Framework Design and Integration |
181
click to vote
CPE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper presents TimeNET, a software tool for the modelling and performability evaluation using stochastic Petri nets. The tool has been designed especially for models...
165
click to vote
FORTE
2004
15 years 8 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
112
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Micro-scanners have been widely used in many optical applications. The micro-scanner presented in this paper uses multimorph-type bending actuators to tilt a square plate mirror. ...
219
click to vote
MM
1998
ACM
15 years 10 months ago
1998
ACM
Easy-to-use audio/video authoring tools play a crucial role in moving multimedia software from research curiosity to mainstream applications. However, research in multimedia author...
257
click to vote
ICCV
2007
IEEE
16 years 26 days ago
2007
IEEE
Non-rigid object alignment is especially challenging when only a single appearance template is available and target and template images fail to match. Two sources of discrepancy b...