2335 search results - page 198 / 467 » Securing Distributed Systems with Information Flow Control |
179
click to vote
USS
2008
15 years 8 months ago
2008
Provenance describes how an object came to be in its present state. Intelligence dossiers, medical records and corporate financial reports capture provenance information. Many of ...
194
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
In this demonstration we present the ARMS system which enables secure and adaptive rich media streaming to a large-scale, heterogeneous client population. The ARMS system dynamica...
364
click to vote
Publication
Congestion remains one of the main obstacles to the Quality of Service (QoS) on the Internet. We think that a good solution to Internet congestion should optimally combine congesti...
183
click to vote
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
183
click to vote
ICDCSW
2005
IEEE
15 years 12 months ago
2005
IEEE
Today’s multimedia environments are characterized by different stationary and a growing number of mobile devices, like PDAs or even mobile phones. To meet their requirements reg...