1804 search results - page 163 / 361 » On set systems with a threshold property |
250
click to vote
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
162
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Accurate and sensitive performance evaluation is crucial for both effective development of better structure prediction methods based on sequence similarity, and for th...
199
click to vote
KBSE
2005
IEEE
16 years 5 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
129
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
An imaging system which simultaneously performs near infrared (NIR) tomography and magnetic resonance imaging (MRI) has been developed at Dartmouth College, to study breast tissue...
165
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...