7557 search results - page 276 / 1512 » Modeling Timed Concurrent Systems |
202
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A framework for a fully implicit solution method is implemented into (1) the High Order Methods Modeling Environment (HOMME), which is a spectral element dynamical core o...
160
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
182
click to vote
MICAI
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we present a technique for prediction of electrical demand based on multiple models. The multiple models are composed by several local models, each one describing a r...
195
Voted
FUIN
2007
15 years 6 months ago
2007
The paper is devoted to characterizing hybrid systems by specifying their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global tim...
183
click to vote
SRDS
1998
IEEE
15 years 10 months ago
1998
IEEE
The primary-backup replication model is one of the commonly adopted approaches to providing fault tolerant data services. Its extension to the real-time environment, however, impo...