Sciweavers

14360 search results - page 372 / 2872
» Time Modeling in MARTE
Sort
View
VR
2002
IEEE
125views Virtual Reality» more  VR 2002»
15 years 5 months ago
Real-Time Haptic and Visual Simulation of Bone Dissection
—Bone dissection is an important component of many surgical procedures. In this paper, we discuss a haptic and visual implementation of a bone cutting burr, that it is being deve...
Marco Agus, Andrea Giachetti, Enrico Gobbetti, Gia...
WEBI
2009
Springer
15 years 5 months ago
Detecting Changes over Time in a Knowledge Sharing Community
There is an establishing trend towards the socialization of the web. Virtual communities are becoming very popular web spaces for collaboration and knowledge sharing. However, stu...
Styliani Kleanthous, Vania Dimitrova
UML
2001
Springer
15 years 5 months ago
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
Geri Georg, Jores Bieman, Robert B. France
78
Voted
ICRA
2000
IEEE
88views Robotics» more  ICRA 2000»
15 years 5 months ago
Incremental Optimization of Cyclic Timed Event Graphs
In this paper we deal with the problem of allocating a given number of tokens, so as to maximize the firing rate of a cyclic event graph with deterministic transition firing delay...
Alessandro Giua, Aldo Piccaluga, Carla Seatzu
EUROMICRO
1999
IEEE
15 years 5 months ago
An Improved Scheduling Technique for Time-Triggered Embedded Systems
In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control...
Paul Pop, Petru Eles, Zebo Peng