27 search results - page 5 / 6 » Verifying Information Flow Control over Unbounded Processes |
SI3D
2010
ACM
13 years 5 months ago
2010
ACM
We introduce a real-time system that converts images, video, or 3D animation sequences to artistic renderings in various painterly styles. The algorithm, which is entirely execute...
ICISS
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Code injection attacks that target the control-data of an application have been prevalent amongst exploit writers for over 20 years. Today however, these attacks are gett...
CCS
2004
ACM
13 years 10 months ago
2004
ACM
Intranet access has become an essential function for corporate users. At the same time, corporation’s security administrators have little ability to control access to corporate ...
ICPADS
2006
IEEE
13 years 11 months ago
2006
IEEE
Using simulations of a complex system such as a Web Application Server provides us with a tool that allows the running of tests without using the resources needed in a real system...
BMCBI
2011
13 years 9 days ago
2011
Background: The Cell Ontology (CL) is an ontology for the representation of in vivo cell types. As biological ontologies such as the CL grow in complexity, they become increasingl...