9642 search results - page 1901 / 1929 » Semantics in Multimedia Systems |
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...
WSDM
2009
ACM
15 years 4 months ago
2009
ACM
We introduce a new visual search interface for search engines. The interface is a user-friendly and informative graphical front-end for organizing and presenting search results in...
CSFW
2009
IEEE
15 years 4 months ago
2009
IEEE
—As networked systems grow in complexity, they are increasingly vulnerable to denial-of-service (DoS) attacks involving resource exhaustion. A single malicious input of coma can ...
ICIW
2009
IEEE
15 years 4 months ago
2009
IEEE
Today’s cross-organizations are increasingly coordinating their capabilities in the quest of dynamically adaptable and thus highly competitive realistic services. Unfortunately,...
90
Voted
DNA
2009
Springer
15 years 4 months ago
2009
Springer
Process algebras are widely used for defining the formal semantics of concurrent communicating processes. In process algebra, concurrent processes can be specified to execute di...