1818 search results - page 224 / 364 » Granularity-Adaptive Proof Presentation |
129
click to vote
MOR
2008
15 years 4 months ago
2008
We consider the average cost problem for partially observable Markov decision processes (POMDP) with finite state, observation, and control spaces. We prove that there exists an -...
137
click to vote
PE
2008
Springer
15 years 4 months ago
2008
Springer
Following up on a recently renewed interest in computational methods for M/G/1-type processes, this paper considers an M/G/1-like system in which the service time distribution is ...
135
click to vote
NJC
2006
15 years 4 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
125
click to vote
NJC
2006
15 years 4 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
151
click to vote
SP
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...