3440 search results - page 529 / 688 » Logics For Context-Free Languages |
181
click to vote
FMSD
2006
15 years 7 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
206
Voted
JFP
2008
15 years 7 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
207
click to vote
JOT
2007
15 years 7 months ago
2007
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
188
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
198
Voted
ENTCS
2002
15 years 6 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...