Sciweavers

14360 search results - page 196 / 2872
» Time Modeling in MARTE
Sort
View
EMSOFT
2009
Springer
14 years 4 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele
APSEC
2009
IEEE
13 years 8 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
ICONIP
2008
13 years 11 months ago
Time Series Analysis for Long Term Prediction of Human Movement Trajectories
This paper's intention is to adapt prediction algorithms well known in the field of time series analysis to problems being faced in the field of mobile robotics and Human-Robo...
Sven Hellbach, Julian Eggert, Edgar Körner, H...
ML
2000
ACM
157views Machine Learning» more  ML 2000»
13 years 10 months ago
A Multistrategy Approach to Classifier Learning from Time Series
We present an approach to inductive concept learning using multiple models for time series. Our objective is to improve the efficiency and accuracy of concept learning by decomposi...
William H. Hsu, Sylvian R. Ray, David C. Wilkins
GLVLSI
2000
IEEE
92views VLSI» more  GLVLSI 2000»
14 years 2 months ago
SPARTA: Simulation of Physics on a Real-Time Architecture
Abstract - In this paper, we discuss hardware acceleration for real-time physical modeling that would allow for realistic virtual environments. Additionally, we propose algorithms ...
Benjamin Bishop, Thomas P. Kelliher, Mary Jane Irw...