5639 search results - page 161 / 1128 » Timed Abstract Non-interference |
130
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
112
Voted
ECAL
1995
Springer
15 years 5 months ago
1995
Springer
Although recently there has been an increasing interest in studing genetically-based development using Artificial Life models, the mapping of the genetic information into the phen...
102
Voted
CONCUR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We propose a model of distributed timed systems where each component is a timed automaton with a set of local clocks that evolve at a rate independent of the clocks of th...
139
Voted
DCOSS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We propose FIT, a flexible, light-weight and real-time scheduling system for wireless sensor platforms. There are three salient features of FIT. First, its two-tier hiera...
100
click to vote
WISES
2004
15 years 3 months ago
2004
-- A main prerequisite for the successful development of real-time systems is the capability for debugging and monitoring of these systems. The debugging of real-time systems is mo...