3680 search results - page 51 / 736 » cases 2010 |
181
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
170
click to vote
AAAI
2010
15 years 7 months ago
2010
In many multiagent settings, a decision must be made based on the preferences of multiple agents, and agents may lie about their preferences if this is to their benefit. In mechan...
181
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Genome-wide association studies have been successful in finding common variants influencing common traits. However, these associations only account for a fraction of t...
170
click to vote
ISSRE
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—As smart phones grow in popularity, manufacturers are in a race to pack an increasingly rich set of features into these tiny devices. This brings additional complexity i...
139
click to vote
ESWS
2010
Springer
15 years 11 months ago
2010
Springer
In this paper we build on our methodology for combining and selecting alignment techniques for vocabularies, with two alignment case studies of large vocabularies in two languages....