1992 search results - page 344 / 399 » Model Based Testing with Labelled Transition Systems |
165
click to vote
ACHI
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—The development of human-robot interaction scenarios is a strongly situation-dependent as well as an extremely dynamic task. Humans interacting with the robot directly r...
120
click to vote
EDBT
2009
ACM
15 years 6 months ago
2009
ACM
Many Web applications are based on dynamic interactions between Web components exchanging flows of information. Such a situation arises for instance in mashup systems or when moni...
160
click to vote
WSC
2007
15 years 4 months ago
2007
Large scale / mega projects are lengthy complex endeavors that require significant planning by management, engineers and construction personnel to ensure the success of the projec...
107
click to vote
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Abbreviation Completion is a novel technique to improve the efficiency of code-writing by supporting code completion of multiple keywords based on non-predefined abbreviated inp...
159
Voted
AAAI
2006
15 years 3 months ago
2006
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...