219 search results - page 22 / 44 » dagstuhl 2006 |
DAGSTUHL
2006
13 years 10 months ago
2006
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This language is the successor of the
DAGSTUHL
2006
13 years 10 months ago
2006
d abstract) Michael Abd-El-Malek, Gregory R. Ganger, Garth R. Goodson, Michael K. Reiter, Jay J. Wylie
DAGSTUHL
2006
13 years 10 months ago
2006
The results of recent studies on prediction markets are encouraging. Prior experience demonstrates that markets with different incentive schemes predicted uncertain future events ...
DAGSTUHL
2006
13 years 10 months ago
2006
Abstract. An overview of the concept of program similarity is presented. It divides similarity into two types--syntactic and semantic-and provides a review of eight categories of m...
DAGSTUHL
2006
13 years 10 months ago
2006
We present a major revision of the XPath benchmark known as XPathMark [1]. The new version splits into a functional test over a small educational document and a more elaborated per...