1133 search results - page 115 / 227 » Local Logics for Traces |
144
click to vote
LICS
2006
IEEE
16 years 12 days ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
160
click to vote
DALT
2005
Springer
15 years 12 months ago
2005
Springer
Agents need to be able to change their beliefs; in particular, they should be able to contract or remove a certain belief in order to restore consistency to their set of beliefs, a...
225
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
180
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- This paper presents a comparison of three different design concepts for Genetic Fuzzy systems. We apply a Symbiotic Evolution that uses the Michigan approach and two app...
186
click to vote
POPL
2010
ACM
15 years 6 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...