3552 search results - page 464 / 711 » Proof theory in the abstract |
188
click to vote
GPCE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...
158
click to vote
SAFECOMP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
171
click to vote
SEMWEB
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Coordination is the process of managing the possible interactions between activities and processes; a mechanism to handle such interactions is known as a coordination reg...
186
click to vote
APLAS
2004
ACM
16 years 2 days ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas efficiently. The design choices however eï...
163
click to vote
CRYPTO
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. In this paper we revisit one of the most popular passwordbased key exchange protocols, namely the OKE (for Open Key Exchange) scheme, proposed by Luck in 1997. Our result...