5639 search results - page 161 / 1128 » Timed Abstract Non-interference |
189
click to vote
FORMATS
2006
Springer
15 years 10 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...
162
click to vote
ECAL
1995
Springer
15 years 10 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...
176
click to vote
CONCUR
2008
Springer
15 years 8 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...
194
click to vote
DCOSS
2008
Springer
15 years 8 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...
151
click to vote
WISES
2004
15 years 7 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...