7557 search results - page 129 / 1512 » Modeling Timed Concurrent Systems |
135
Voted
CORR
2010
Springer
14 years 11 months 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 ...
111
click to vote
ATAL
2005
Springer
15 years 7 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...
WSC
1997
15 years 2 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...
126
click to vote
EUROMICRO
1997
IEEE
15 years 5 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...
133
Voted
LCTRTS
1998
Springer
15 years 5 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...