Sciweavers

2570 search results - page 302 / 514
» Reliability Modeling Using UML
Sort
View
129
Voted
ISORC
1999
IEEE
15 years 7 months ago
Implementing the Real-Time Publisher/Subscriber Model on the Controller Area Network (CAN)
Designing distributed real-time systems as being composed of communicating objects offers many advantages with respect to modularity and extensibility of these systems. However, d...
Jörg Kaiser, Michael Mock
141
Voted
ICSE
1998
IEEE-ACM
15 years 7 months ago
Modeling and Analysis of a Virtual Reality System with Time Petri Nets
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
Rajesh Mascarenhas, Dinkar Karumuri, Ugo A. Buy, R...
CVPR
2006
IEEE
16 years 5 months ago
Multiple Object Class Detection with a Generative Model
In this paper we propose an approach capable of simultaneous recognition and localization of multiple object classes using a generative model. A novel hierarchical representation ...
Krystian Mikolajczyk, Bastian Leibe, Bernt Schiele
145
Voted
MICCAI
2007
Springer
16 years 4 months ago
Towards Subject-Specific Models of the Dynamic Heart for Image-Guided Mitral Valve Surgery
Abstract. Surgeons need a robust interventional system capable of providing reliable, real-time information regarding the position and orientation of the surgical targets and tools...
Cristian A. Linte, Marcin Wierzbicki, John Moore, ...
SIGSOFT
2005
ACM
16 years 4 months ago
Online testing with model programs
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
Margus Veanes, Colin Campbell, Wolfram Schulte, Ni...