Sciweavers

1292 search results - page 242 / 259
» A Designer's Guide to KEMs
Sort
View
SEMWEB
2009
Springer
16 years 21 days ago
What Four Million Mappings Can Tell You about Two Hundred Ontologies
The field of biomedicine has embraced the Semantic Web probably more than any other field. As a result, there is a large number of biomedical ontologies covering overlapping area...
Amir Ghazvinian, Natalya Fridman Noy, Clement Jonq...
ACMACE
2009
ACM
16 years 21 days ago
iSee: interactive scenario explorer for online tournament games
Fantasy games, in which players compete to correctly predict realworld outcomes in sports, entertainment, and politics, have grown in popularity and now represent a significant po...
Greg Smith, Desney S. Tan, Bongshin Lee
FDG
2009
ACM
16 years 21 days ago
Perspectives, frame rates and resolutions: it's all in the game
Hardware and platform limitations restrict the display settings for most computer games, forcing a tradeoff between frame rate and resolution to achieve acceptable performance. Pr...
Mark Claypool, Kajal T. Claypool
ASM
2010
ASM
16 years 20 days ago
Using Event-B to Verify the Kmelia Components and Their Assemblies
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
Pascal André, Gilles Ardourel, Christian At...
NDSS
2008
IEEE
16 years 17 days ago
Automated Whitebox Fuzz Testing
Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply random mutations to well-formed inputs of a progr...
Patrice Godefroid, Michael Y. Levin, David A. Moln...