11397 search results - page 2059 / 2280 » A Relational Abstraction for Functions |
266
click to vote
ESOP
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
174
click to vote
FC
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. We introduce a new cryptographic problem called time capsule signature. Time capsule signature is a ‘future signature’ that becomes valid from a specific future time...
202
click to vote
HIPEAC
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. Designers of large parallel computers and clusters are becoming increasingly concerned with the cost and power consumption of the interconnection network. A simple way to...
200
click to vote
ICLP
2005
Springer
16 years 23 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
234
click to vote
ICN
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by prov...