5639 search results - page 226 / 1128 » Timed Abstract Non-interference |
148
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
112
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We study in this paper an M/M/1 queue whose server rate depends upon the state of an independent Ornstein-Uhlenbeck diffusion process (X(t)) so that its value at time t i...
108
click to vote
FUIN
2008
15 years 3 months ago
2008
Abstract. The paper is devoted to characterizing systems with random behaviours. The characterization is based on considering systems in terms of their possible runs, called proces...
105
click to vote
TOC
2008
15 years 3 months ago
2008
Abstract: We give a quantum algorithm for the binary NAND tree problem in the Hamiltonian oracle model. The algorithm uses a continuous time quantum walk with a running time propor...
135
click to vote
RITA
2000
15 years 2 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...