2875 search results - page 373 / 575 » Model checking agentspeak |
138
click to vote
STACS
2007
Springer
15 years 9 months ago
2007
Springer
Hybrid logics extend modal logics by first-order concepts, in particular they allow a limited use of variables. Unfortunately, in general, satisfiability for hybrid formulas is u...
119
click to vote
APSEC
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
132
click to vote
ICNS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper introduces a fault-tolerant group communication protocol that is aimed at grid and wide area environments. The protocol has two layers. The lower layer provides a total...
104
click to vote
ICTAI
2005
IEEE
15 years 8 months ago
2005
IEEE
Stochastic Shortest Path problems (SSPs) can be efficiently dealt with by the Real-Time Dynamic Programming algorithm (RTDP). Yet, RTDP requires that a goal state is always reach...
115
click to vote
FATES
2005
Springer
15 years 8 months ago
2005
Springer
We propose a novel, practical coverage metric called “location pairs” (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors ...