20126 search results - page 34 / 4026 » Timed Transition Systems |
67
Voted
SODA
1998
ACM
14 years 11 months ago
1998
ACM
68
Voted
SODA
2010
ACM
14 years 8 months ago
2010
ACM
ESWA
2011
14 years 4 months ago
2011
ATVA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
78
Voted
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...