7557 search results - page 184 / 1512 » Modeling Timed Concurrent Systems |
176
click to vote
RE
2004
Springer
15 years 11 months ago
2004
Springer
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
167
click to vote
ENTCS
2006
15 years 6 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
145
click to vote
MABS
2004
Springer
15 years 11 months ago
2004
Springer
Time management is essential when simulating multi-agent systems (MASs) as it allows consistent and repeatable simulation runs. So far, time management lacks support to express the...
150
Voted
TACAS
2005
Springer
15 years 12 months ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
157
click to vote
ECOOP
1994
Springer
15 years 10 months ago
1994
Springer
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...