1489 search results - page 203 / 298 » The First Bug Report |
132
click to vote
AIPS
2009
15 years 6 months ago
2009
Despite its ubiquitous presence, very little is known about the odds of winning the simple card game of Klondike Solitaire. The main goal of this paper is to investigate the use o...
161
Voted
APCCM
2009
15 years 6 months ago
2009
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this important task some graph-based VCSs for model artifacts already emerge...
134
click to vote
ATMOS
2009
15 years 6 months ago
2009
Trains often arrive delayed at stations where passengers have to change to other trains. The question of delay management is whether these trains should wait for the original train...
142
click to vote
CLEF
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We report our experiences from participating to the controlled experiment of the ImageCLEF 2010 Wikipedia Retrieval task. We built an experimental search engine which com...
132
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...