809 search results - page 31 / 162 » Requirements by Contracts allow Automated System Testing |
150
click to vote
ICDCSW
2009
IEEE
15 years 2 months ago
2009
IEEE
Dynamic composition of protocol features allows applications to establish connections with custom communication characteristics. Automatically computing possible compositions and ...
143
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
This paper approaches the issue of coordination of highly autonomous Automated Guided Vehicles (AGVs) working on an automated factory. These vehicles are used for goods delivery t...
136
click to vote
ICONIP
1998
15 years 5 months ago
1998
In this paper, we study the use of support vector machine in text categorization. Unlike other machine learning techniques, it allows easy incorporation of new documents into an e...
140
click to vote
ASWEC
2006
IEEE
15 years 10 months ago
2006
IEEE
Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as ...
106
click to vote
IAAI
1993
15 years 5 months ago
1993
Identification and characterization of indications in eddy current (ET) signals can be highly subjective in nature, with varying diagnoses made by different analysts or by a singl...