4350 search results - page 860 / 870 » Case studies for contract-based systems |
106
click to vote
FSTTCS
2008
Springer
15 years 24 days ago
2008
Springer
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...
109
click to vote
GG
2008
Springer
15 years 24 days ago
2008
Springer
The model-driven development of model transformations requires both a technique to model model transformations as well as a means to transform transformation models. Therefore, t...
103
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: The availability of various "omics" datasets creates a prospect of performing the study of genomewide genetic regulatory networks. However, one of the major ...
121
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: Advances in sequencing and genotyping technologies are leading to the widespread availability of multi-species variation data, dense genotype data and large-scale rese...
BMCBI
2007
14 years 11 months ago
2007
Scientific articles are tailored to present information in human-readable aliquots. Although the Internet has revolutionized the way our society thinks about information, the trad...