3931 search results - page 609 / 787 » Separation logic and abstraction |
192
click to vote
CRYPTO
1998
Springer
15 years 11 months ago
1998
Springer
ded abstract of this paper appears in Advances in Cryptology { Crypto 98 Proceedings, Lecture Notes in Computer Science Vol. 1462, H. Krawczyk ed., Springer-Verlag, 1998. This is t...
179
click to vote
EP
1998
Springer
15 years 11 months ago
1998
Springer
Two complementary de facto standards for the publication of electronic documents are HTML on the World Wide Web and Adobe's PDF (Portable Document Format) language for use wi...
176
click to vote
ARITH
1997
IEEE
15 years 11 months ago
1997
IEEE
Engineering design methodology recommends designing a system as follows: Start with an unambiguous speci cation, partition the system into blocks, specify the functionality of eac...
164
click to vote
ICALP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We consider systems of finite automata performing together computation on an input string. Each automaton has its own read head that moves independently of the other head...
183
click to vote
ICALP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...