7557 search results - page 129 / 1512 » Modeling Timed Concurrent Systems |
140
Voted
CORR
2010
Springer
15 years 1 days ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
118
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
112
Voted
WSC
1997
15 years 4 months ago
1997
The value of modeling and simulating business processes has recently received increased attention with the interest in business process re-engineering (BPR). Many re-engineering p...
133
Voted
EUROMICRO
1997
IEEE
15 years 6 months ago
1997
IEEE
The paper presents a hierarchical modeling approach of the N version programming in a real – time environment. The model is constructed in three layers. At the first layer we d...
140
click to vote
LCTRTS
1998
Springer
15 years 6 months ago
1998
Springer
The embedded real-time software systems encountered in applications such as telecommunications, aerospace, and defense typically tend to be large and extremely complex. It is cruc...