1894 search results - page 178 / 379 » A TLA Proof System |
123
click to vote
CADE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
153
click to vote
HYBRID
1998
Springer
15 years 8 months ago
1998
Springer
We continue investigation of languages, accepted by timed automata of Alur and Dill. In [ACM97] timed regular expressions equivalent to timed automata were introduced. Here we intr...
ZUM
2000
Springer
15 years 7 months ago
2000
Springer
We have developed a general denition of segregation in the context of Z system specications. This denition is general enough to allow multi-way communications between otherwise seg...
156
click to vote
EUROCRYPT
2010
Springer
15 years 7 months ago
2010
Springer
We construct an efficient identity based encryption system based on the standard learning with errors (LWE) problem. Our security proof holds in the standard model. The key step in...
123
click to vote
BNCOD
2003
15 years 5 months ago
2003
This paper describes ProSQL, a novel prototyping tool to support the development of extensions to SQL. ProSQL provides a simple way to prototype the features of a proposed extensio...