473 search results - page 52 / 95 » Aspect Validation Using Model Checking |
JSAC
2011
13 years 4 months ago
2011
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
WSC
2001
13 years 11 months ago
2001
This tutorial considers some very general procedures for analysing the results of a simulation experiment using bootstrap resampling. Bootstrapping has come to be recognised in st...
MICCAI
2004
Springer
14 years 10 months ago
2004
Springer
Automatic myocardial wall motion tracking in ultrasound images is an important step in analysis of the heart function. Existing methods for Myocardial Wall Tracking are not robust ...
DLOG
2003
13 years 11 months ago
2003
The purpose of the chapter is to help someone familiar with DLs to understand the issues involved in developing an ontology for some universe of discourse, which is to become a co...
TASE
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...