Sciweavers

4348 search results - page 13 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
ICCS
2004
Springer
15 years 2 months ago
Dynamic-Data-Driven Real-Time Computational Mechanics Environment
Abstract. The proliferation of sensor networks in various areas of technology has enabled real-time behavioral monitoring of various physical systems in various length and time sca...
John Michopoulos, Charbel Farhat, Elias N. Houstis
CVBIA
2005
Springer
15 years 3 months ago
Real-Time Simulation of Deformable Soft Tissue Based on Mass-Spring and Medial Representation
In this paper, we present a novel deformable model for soft tissue simulation in a real-time manner. The innovative model consists of two submodels: the surface one and the interna...
Shaoting Zhang, Lixu Gu, Pengfei Huang, Jianfeng X...
ICSEA
2006
IEEE
15 years 3 months ago
Extracting Simulation Models from Complex Embedded Real-Time Systems
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
Johan Andersson, Joel Huselius, Christer Norstr&ou...
ENTCS
2007
158views more  ENTCS 2007»
14 years 9 months ago
Abstraction and Completeness for Real-Time Maude
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
Peter Csaba Ölveczky, José Meseguer
CAV
2012
Springer
251views Hardware» more  CAV 2012»
12 years 12 months ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...