10568 search results - page 1612 / 2114 » Computer Intelligence and Formalization |
186
click to vote
CONCUR
2004
Springer
16 years 17 days ago
2004
Springer
Netcharts have been introduced recently by Mukund et al. in [17]. This new appealing approach to the specification of collections of message sequence charts (MSCs) benefits from ...
182
click to vote
CONCUR
2004
Springer
16 years 17 days ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
170
click to vote
ESORICS
2004
Springer
16 years 17 days ago
2004
Springer
d Abstract) James Aspnes , Joan Feigenbaum , Aleksandr Yampolskiy † , and Sheng Zhong ‡ Department of Computer Science, Yale University, New Haven CT 06520-8285, USA Abstract. ...
196
click to vote
FMCO
2004
Springer
16 years 17 days ago
2004
Springer
In 2-player non-zero-sum games, Nash equilibria capture the options for rational behavior if each player attempts to maximize her payoff. In contrast to classical game theory, we ...
196
click to vote
FORMATS
2004
Springer
16 years 17 days ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...