7557 search results - page 114 / 1512 » Modeling Timed Concurrent Systems |
125
click to vote
COOP
2004
15 years 2 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
114
click to vote
WSC
1998
15 years 2 months ago
1998
Based on the DIS result, the HLA framework has been defined to achieve interoperability of independent simulators. Concurrently, and for the most part, independent of that effort,...
133
click to vote
CAISE
2000
Springer
15 years 5 months ago
2000
Springer
Serializability is a prominent correctness criterion for an interleaved execution of concurrent transactions. Serializability guarantees that the interleaved execution of concurre...
101
click to vote
CSFW
2008
IEEE
15 years 8 months ago
2008
IEEE
Zdancewic and Myers introduced observational determinism as a scheduler independent notion of security for concurrent programs. This paper proposes a type system for verifying obs...
107
Voted
ICCS
2003
Springer
15 years 6 months ago
2003
Springer
Engineering design optimization using concurrent integrated experiment and simulation is a Dynamic Data Driven Application System (DDDAS) wherein remote experiment and simulation c...