Sciweavers

15421 search results - page 268 / 3085
» Dependability
Sort
View
ICALP
2007
Springer
16 years 26 days ago
A Characterization of Non-interactive Instance-Dependent Commitment-Schemes (NIC)
Abstract. We provide a new characterization of certain zero-knowledge protocols as non-interactive instance-dependent commitment-schemes (NIC). To obtain this result we consider th...
Bruce M. Kapron, Lior Malka, Srinivasan Venkatesh
ICESS
2007
Springer
16 years 26 days ago
Dependable Geographical Routing on Wireless Sensor Networks
Yue-Shan Chang, Ming-Tsung Hsu, Hsu-Hang Liu, Tong...
ICN
2007
Springer
16 years 26 days ago
Distance-Dependent RED Policy (DDRED)
— The network quality of service (QoS) and the congestion control of the transport protocol are important parameters for the performance of a network data transfer. To this end, ...
Sebastien Linck, Eugen Dedu, François Spies
ICSOC
2007
Springer
16 years 26 days ago
Maintaining Data Dependencies Across BPEL Process Fragments
Rania Khalaf, Oliver Kopp, Frank Leymann
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
16 years 26 days ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...