2006 search results - page 22 / 402 » Testing with Respect to Concerns |
AINA
2005
IEEE
14 years 1 months ago
2005
IEEE
More and more sensor networks will be deployed in the place where people are living, studying, and working. These sensor networks bring us the convenience of accessing information...
HYBRID
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...
FLAIRS
2008
13 years 9 months ago
2008
Ontology alignment is regarded as one of the core tasks in many Web services. It is concerned with finding the correspondences between separate ontologies by identifying concepts ...
EUROPAR
2004
Springer
14 years 28 days ago
2004
Springer
The APART working group is developing the APART Test Suite (ATS) for evaluating (automatic) performance analysis tools with respect to their correctness – that is, their ability...
PTS
2000
13 years 8 months ago
2000
We present a formal approach to check the correctness and to propose corrections of hand-written test suites with respect to a formal specification of the protocol implementations ...