1133 search results - page 31 / 227 » Local Logics for Traces |
132
Voted
FSTTCS
1999
Springer
15 years 5 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
138
click to vote
ATAL
2011
Springer
14 years 19 days ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
105
Voted
CP
2005
Springer
15 years 6 months ago
2005
Springer
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...
LPAR
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
134
Voted
INFOCOM
2007
IEEE
15 years 7 months ago
2007
IEEE
— Scalable and efficient routing is a main challenge in the deployment of large ad hoc wireless networks. An essential element of practical routing protocols is their accommodat...