243 search results - page 37 / 49 » Exception-Based Information Flow Control in Object-Oriented ... |
DSN
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper presents a multicast algorithm for peer-topeer dissemination of events in a distributed topic-based publish-subscribe system, where processes publish events of certain ...
JSS
2008
14 years 8 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
173
click to vote
POPL
2008
ACM
15 years 9 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
IHI
2010
14 years 4 months ago
2010
Modern information technology is increasingly used in healthcare with the goal to improve and enhance medical services and to reduce costs. In this context, the outsourcing of com...
CCS
2008
ACM
14 years 11 months ago
2008
ACM
A practically feasible modification to fixed-priority schedulers allows to avoid timing channels despite threads having access to precise clocks. This modification is rather simpl...