553 search results - page 60 / 111 » Verified, Executable Parsing |
POPL
1997
ACM
14 years 7 days ago
1997
ACM
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
AAAI
2007
13 years 11 months ago
2007
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...
EDM
2008
13 years 10 months ago
2008
In this paper we compare different data mining methods and techniques for classifying students based on their Moodle usage data and the final marks obtained in their respective cou...
AIPS
2006
13 years 10 months ago
2006
In this paper, we present a motion planning framework for a fully deployed autonomous unmanned aerial vehicle which integrates two sample-based motion planning techniques, Probabi...