3515 search results - page 476 / 703 » On the semantics of Strategy Logic |
152
click to vote
PASTE
2004
ACM
16 years 27 days ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
177
Voted
AMAST
2004
Springer
16 years 26 days ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
213
click to vote
CONCUR
2004
Springer
16 years 26 days ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
183
Voted
DALT
2004
Springer
16 years 26 days ago
2004
Springer
This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid...
184
click to vote
DAS
2004
Springer
16 years 26 days ago
2004
Springer
This paper presents a complete system that historians/archivists can use to digitize whole collections of documents relating to personal information. The system integrates tools an...