Sciweavers

435 search results - page 45 / 87
» System model of an inertial navigation system using SystemC-...
Sort
View
CAISE
2008
Springer
15 years 4 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
ICWE
2005
Springer
15 years 7 months ago
Modelling the Behaviour of Web Applications with ArgoUWE
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
Alexander Knapp, Nora Koch, Gefei Zhang
MICCAI
2009
Springer
15 years 6 months ago
3-D Respiratory Motion Compensation during EP Procedures by Image-Based 3-D Lasso Catheter Model Generation and Tracking
Radio-frequency catheter ablation of the pulmonary veins attached to the left atrium is usually carried out under fluoroscopy guidance. Two-dimensional X-ray navigation may involv...
Alexander Brost, Rui Liao, Joachim Hornegger, Norb...
LOCA
2005
Springer
15 years 7 months ago
Towards LuxTrace: Using Solar Cells to Measure Distance Indoors
Abstract. Navigation for and tracking of humans within a building usually implies significant infrastructure investment and devices are usually too high in weight and volume to be...
Julian Randall, Oliver Amft, Gerhard Tröster
VRML
1997
ACM
15 years 6 months ago
Using VRML to Access Manufacturing Data
This paper describes the use of the Virtual Reality Modeling Language (VRML) in the VIM - Visual Interface to Manufacturing system. The VIM prototype demonstrates the technical fe...
Sandy Ressler, Qiming Wang, Scott Bodarky, Charles...