20807 search results - page 239 / 4162 » How to read a paper |
166
click to vote
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification was proposed by Dwyer and his colleagues in [4, 3]...
157
click to vote
COMPSAC
1997
IEEE
15 years 11 months ago
1997
IEEE
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still’be considered a niche market, there is growing evidenc...
165
Voted
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we give a symbolic concurrent semantics for network of timed automata (NTA) in terms of extended symbolic nets. Extended symbolic nets are standard occurrence nets ex...
147
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
121
click to vote
COLING
2008
15 years 8 months ago
2008
The paper offers a new type of approach to the semantic phenomenon of adverbial aspect shift within the framework of finitestate temporal semantics. The heart of the proposal is a...