5639 search results - page 128 / 1128 » Timed Abstract Non-interference |
127
click to vote
FOSSACS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
125
click to vote
RT
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. In this paper we present some preliminary results concerning a realtime visualisation system for densely populated urban environments. In order to be able to render the l...
146
click to vote
NOSSDAV
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. This paper presents the design, implementation and experimental analysis of a distributed, real-time MPEG video and audio player. The player is designed for use across th...
126
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. User generated content in general, and blogs in particular, form an interesting and relatively little explored domain for mining knowledge. We address the task of blog di...
126
click to vote
OPODIS
2008
15 years 3 months ago
2008
Abstract Nowadays, most of the energy-aware real-time scheduling algorithms belong to the DVFS (Dynamic Voltage and Frequency Scaling) framework. These DVFS algorithms are usually ...