2662 search results - page 404 / 533 » Tools Demonstrations |
171
click to vote
ICST
2009
IEEE
15 years 2 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
107
click to vote
AISS
2010
15 years 2 months ago
2010
In clinical diagnosis process of epilepsy, the physicians rely on tedious visual screening of long time recorded electroencephalograms (EEG) for detection and localization of impo...
172
click to vote
ESWA
2011
14 years 11 months ago
2011
Business process models are becoming available in large numbers due to their popular use in many industrial applications such as enterprise and quality engineering projects. On th...
184
click to vote
CSMR
2010
IEEE
14 years 11 months ago
2010
IEEE
Annotations are a means to attach additional meta data to the source code of a system. Nowadays, more and more technologies rely on the presence of such annotations in the source c...
144
Voted
JSAC
2011
14 years 11 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...