14360 search results - page 274 / 2872 » Time Modeling in MARTE |
79
Voted
IEEEHPCS
2010
14 years 11 months ago
2010
—In this paper we study the protocol insecurity problem for time dependent security protocols with a finite number of sessions, extending to the timed case the results of M. Rus...
103
Voted
FUIN
2008
15 years 20 days ago
2008
The aim of this work is to describe the translation from Intermediate Language, one of the input formalisms of the model checking platform VerICS, to timed automata with discrete d...
98
Voted
DALT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We...
ATMOS
2008
15 years 2 months ago
2008
We present an extension of the well-known time-expanded approach for timetable information. By remodeling unimportant stations, we are able to obtain faster query times with less s...
117
click to vote
FLAIRS
2000
15 years 2 months ago
2000
This paper describes a new framework for using natural selection to evolve Bayesian Networks for use in forecasting time series data. It extends current research by introducing a ...