5639 search results - page 78 / 1128 » Timed Abstract Non-interference |
111
Voted
ECAI
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper presents a framework that enables autonomous agents to dynamically select the mechanism they employ in order to coordinate their inter-related activities. Adop...
105
Voted
ICMCS
1994
IEEE
15 years 6 months ago
1994
IEEE
1 As multimedia system integrate a variety of temporally interrelated media items, synchronization is an important issue in those systems. One part of synchronization is the repres...
119
Voted
CSR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...
130
Voted
FASE
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
177
Voted
UMC
2000
15 years 6 months ago
2000
Abstract. We consider various extensions and modifications of Shannon's General Purpose Analog Computer, which is a model of computation by differential equations in continuou...