Sciweavers

6794 search results - page 432 / 1359
» Semantics of Visual Languages
Sort
View
OOPSLA
2000
Springer
15 years 11 months ago
An efficient class and object encoding
An object encoding translates a language with object primitives to one without. Similarly, a class encoding translates classes into other primitives. Both are important theoretica...
Neal Glew
POPL
2000
ACM
15 years 11 months ago
Generalized Certificate Revocation
We introduce a language for creating and manipulating certificates, that is, digitally signed data based on public key cryptography, and a system for revoking certificates. Our ap...
Carl A. Gunter, Trevor Jim
COLING
2008
15 years 9 months ago
Contents Modelling of Neo-Sumerian Ur III Economic Text Corpus
This paper describes a system for processing economic documents written in the ancient Sumerian language. The system is application-oriented and takes advantage of the simplicity ...
Wojciech Jaworski
ECOOP
2011
Springer
14 years 7 months ago
Verifying Multi-object Invariants with Relationships
Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-oriented programming languages allow the programmer to explicitly ...
Stephanie Balzer, Thomas R. Gross
201
Voted
ASIAN
2003
Springer
111views Algorithms» more  ASIAN 2003»
16 years 27 days ago
Unreliable Failure Detectors via Operational Semantics
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
Uwe Nestmann, Rachele Fuzzati