129 search results - page 10 / 26 » PCAL: Language Support for Proof-Carrying Authorization Syst... |
CSFW
2008
IEEE
14 years 2 months ago
2008
IEEE
Early work on security-typed languages required that legal information flows be defined statically. More recently, techniques have been introduced that relax these assumptions a...
CICLING
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on logical representatio...
AMAST
2008
Springer
13 years 9 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
DOCENG
2006
ACM
14 years 1 months ago
2006
ACM
Microformats and semantic XHTML add semantics to web pages while taking advantage of the existing (X)HTML infrastructure. This approach enables new applications that can be deploy...
COLING
1992
13 years 8 months ago
1992
Knowledge-based interlingual machine translation systems produce semantically accurate translations, but typically require massive knowledge acquisition. Ongoing research and deve...