Sciweavers

14360 search results - page 466 / 2872
» Time Modeling in MARTE
Sort
View
140
Voted
TIME
2002
IEEE
15 years 10 months ago
A Logical Approach to Represent and Reason about Calendars
In this paper, we propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time po...
Carlo Combi, Massimo Franceschet, Adriano Peron
153
Voted
CCGRID
2007
IEEE
15 years 11 months ago
Profiling Computation Jobs in Grid Systems
The existence of good probabilistic models for the job arrival process and job characteristics is important for the improved understanding of grid systems and the prediction of th...
Michael Oikonomakos, Kostas Christodoulopoulos, Em...
117
Voted
ICRA
2005
IEEE
125views Robotics» more  ICRA 2005»
15 years 10 months ago
On the Use of UML for Modeling Physical Systems
— The aim of this paper is to provide a unified language for modeling both control software and physical plants in real time control systems. This is done by embedding the bond ...
Cristian Secchi, Cesare Fantuzzi, Marcello Bonf&ea...
EMSOFT
2008
Springer
15 years 6 months ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya
132
Voted
EVOW
2009
Springer
15 years 12 months ago
Predicting Turning Points in Financial Markets with Fuzzy-Evolutionary and Neuro-Evolutionary Modeling
Two independent evolutionary modeling methods, based on fuzzy logic and neural networks respectively, are applied to predicting trend reversals in financial time series, and their...
Antonia Azzini, Célia da Costa Pereira, And...