4348 search results - page 13 / 870 » Using UML for Modeling Complex Real-Time Systems |
125
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
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...
134
click to vote
CVBIA
2005
Springer
15 years 9 months ago
2005
Springer
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...
129
Voted
ICSEA
2006
IEEE
15 years 10 months ago
2006
IEEE
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...
153
click to vote
ENTCS
2007
15 years 4 months ago
2007
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...
164
click to vote
CAV
2012
Springer
13 years 6 months ago
2012
Springer
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...