7557 search results - page 42 / 1512 » Modeling Timed Concurrent Systems |
133
click to vote
ENTCS
2008
15 years 1 months ago
2008
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...
123
click to vote
BIRTHDAY
2004
Springer
15 years 6 months ago
2004
Springer
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
120
click to vote
CASCON
1996
15 years 2 months ago
1996
Because changes to the database (DB) and workload occur during a DB system's lifetime, the physical DB design must evolve to sustain good performance. These changes are carri...
132
click to vote
SIGOPS
2008
15 years 1 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
152
click to vote
FORTEST
2008
15 years 2 months ago
2008
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...