Sciweavers

4386 search results - page 104 / 878
» A Tamper-Resistant Programming Language System
Sort
View
117
Voted
POS
1998
Springer
15 years 6 months ago
Evaluating Usability Aspects of PJama Based on Source Code Measurements
PJama is a system that provides orthogonal persistence defined by reach
Stein Grimstad, Dag I. K. Sjøberg, Malcolm ...
IFIP
2009
Springer
15 years 8 days ago
Specification and Verification of Side Channel Declassification
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems
Josef Svenningsson, David Sands
VMCAI
2012
Springer
13 years 10 months ago
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
Tobias Nipkow
ERLANG
2004
ACM
15 years 8 months ago
Erlang's exception handling revisited
This paper describes the new exception handling in the Erlang programming language, to be introduced in the forthcoming Release 10 of the Erlang/OTP system. We give a comprehensiv...
Richard Carlsson, Björn Gustavsson, Patrik Ny...
121
Voted
ANLP
1994
105views more  ANLP 1994»
15 years 3 months ago
The Delphi Natural Language Understanding System
This paper presents Delphi, the natural language component of the BBN Spoken Language System. Delphi is a domainindependent natural language question answering system that is soli...
Madeleine Bates, Robert J. Bobrow, Robert Ingria, ...