809 search results - page 53 / 162 » Requirements by Contracts allow Automated System Testing |
152
Voted
AAAI
2010
15 years 6 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...
192
click to vote
TMI
2011
14 years 11 months ago
2011
—Due to the enormous potential and impact that stem cells may have on regenerative medicine, there has been a rapidly growing interest for tools to analyze and characterize the b...
153
click to vote
TROB
2002
15 years 4 months ago
2002
A patent pending, energy based, method is presented for controlling a haptic interface system to ensure stable contract under a wide variety of operating conditions. System stabil...
161
click to vote
KDD
1999
ACM
15 years 8 months ago
1999
ACM
Code synthesis is routinely used in industry to generate GUIs, form lling applications, and database support code and is even used with COBOL. In this paper we consider the questi...
173
Voted
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
Schema matching identifies elements of two given schemas that correspond to each other. Although there are many algorithms for schema matching, little has been written about build...