Now showing items 1-10 of 114
Comparing Formal Specification Languages
(Ellis Horwood, 2005)
This paper presents a comparison between eight specification languages discussed during the Workshop on Formal Specification Techniques for Complex Reasoning Systems held in Vienna during the ECAI'92 conference. The ...
Expertise-based peer selection in Peer-to-Peer networks
Peer-to-Peer systems have proven to be an effective way of sharing data. Modern protocols are able to efficiently route a message to a given peer. However, determining the destination peer in the first place is not always ...
Transport Investment Appraisal and the Environment