Sciweavers

2811 search results - page 363 / 563
» Real-Time Component-Based Systems
Sort
View
COMPSAC
2003
IEEE
14 years 3 months ago
A Test-Driven Component Development Framework based on the CORBA Component Model
Short product cycles and rapidly changing requirements are increasingly forcing developers to use agile development strategies like extreme programming and test–driven developme...
Egon Teiniker, Stefan Mitterdorfer, Leif Morgan Jo...
MICCAI
2005
Springer
14 years 11 months ago
Sensor Guided Ablation Procedure of Left Atrial Endocardium
Abstract. In this paper, we present a sensor guided ablation procedure of highly motile left atrium. It uses a system which automatically registers the 4D heart model with the posi...
Hua Zhong, Takeo Kanade, David Schwartzman
QEST
2008
IEEE
14 years 5 months ago
Automatic Translation of UML Sequence Diagrams into PEPA Models
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
Mirco Tribastone, Stephen Gilmore
RTSS
2002
IEEE
14 years 3 months ago
Dynamic Scan Scheduling
We present an approach to computing cyclic schedules online and in real time, while attempting to maximize a quality-of-service metric. The motivation is the detection of RF emitt...
Bruno Dutertre
KBS
2007
75views more  KBS 2007»
13 years 10 months ago
Managing restaurant tables using constraints
Restaurant table management can have significant impact on both profitability and the customer experience. The core of the issue is a complex dynamic combinatorial problem. We sho...
Alfio Vidotto, Kenneth N. Brown, J. Christopher Be...