980 search results - page 114 / 196 » Logical Testing |
DAC
2010
ACM
14 years 22 days ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
ICONIP
2008
13 years 10 months ago
2008
In this paper, we propose the use of weighted linguistic fuzzy rules in combination with a rule selection process to develop accurate fuzzy logic controllers dedicated to the inte...
SERP
2003
13 years 10 months ago
2003
The SyncML, the standard synchronization protocol, supports the synchronization of various application services such as an address book, a calendar. Even with this standard protoc...
KES
2006
Springer
13 years 8 months ago
2006
Springer
In previous papers we introduced HeCaSe2, a multi-agent system that helps doctors to follow the automatic application of clinical guidelines to patients. In this paper we show how ...
RECOMB
2005
Springer
14 years 9 months ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...