61 search results - page 12 / 13 » Mechanical Verification of Hypercube Algorithms |
POPL
2008
ACM
14 years 10 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...
ICFP
2003
ACM
14 years 9 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...
SIGSOFT
2004
ACM
14 years 10 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
SOUPS
2006
ACM
14 years 3 months ago
2006
ACM
Unicode is becoming a dominant character representation format for information processing. This presents a very dangerous usability and security problem for many applications. The...
GECCO
2006
Springer
14 years 1 months ago
2006
Springer
Evolutionary algorithms have successfully been applied to software testing. Not only approaches that search for numeric test data for procedural test objects have been investigate...