222 search results - page 7 / 45 » Temporal firewalls in large distributed real-time systems |
SEUS
2008
IEEE
14 years 2 months ago
2008
IEEE
The computing systems are becoming deeply embedded into ordinary life and interact with physical processes and events. They monitor the physical world with sensors and provide app...
ADAEUROPE
2008
Springer
14 years 2 months ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
INFOCOM
2007
IEEE
14 years 2 months ago
2007
IEEE
— We present a software infrastructure that embeds physical hosts in a simulated network. Aiming to create a largescale real-time virtual network testbed, our real-time interacti...
IEEECIT
2010
IEEE
13 years 7 months ago
2010
IEEE
Current hard real-time scheduling and analysis techniques are unable to efficiently utilize the computational bandwidth provided by multicore platforms. This is due to the large ...
PODC
1990
ACM
14 years 18 days ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...