1081 search results - page 58 / 217 » Towards Application Security on Untrusted Operating Systems |
PARA
2004
Springer
14 years 2 months ago
2004
Springer
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...
WSC
2007
13 years 11 months ago
2007
This presentation follows up the talk last year to WINFORMS (The Washington Institute for Operations Research and The Management Sciences) in which an approach developed for the a...
POPL
1998
ACM
14 years 29 days ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
ACSAC
2004
IEEE
14 years 15 days ago
2004
IEEE
This paper discusses VIEWS, a specification for building diagrams that describe the security features of systems. The authors' recent experience with providing security archi...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Internet security is of utmost importance in today's e-commerce environment. Many different avenues are being taken in an attempt to secure the systems of both the end user a...