Sciweavers

2597 search results - page 420 / 520
» A Relational Approach to Support Software Architecture Analy...
Sort
View
KBS
2002
88views more  KBS 2002»
15 years 5 months ago
Detecting mismatches among experts' ontologies acquired through knowledge elicitation
: We have constructed a set of ontologies modelled on conceptual structures elicited from several domain experts. Protocols were collected from various experts who advise on the se...
Adil Hameed, Derek H. Sleeman, Alun D. Preece
RV
2010
Springer
220views Hardware» more  RV 2010»
15 years 3 months ago
Runtime Verification with the RV System
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
Patrick O'Neil Meredith, Grigore Rosu
ECML
2006
Springer
15 years 9 months ago
Unsupervised Multiple-Instance Learning for Functional Profiling of Genomic Data
Multiple-instance learning (MIL) is a popular concept among the AI community to support supervised learning applications in situations where only incomplete knowledge is available....
Corneliu Henegar, Karine Clément, Jean-Dani...
ICSE
2004
IEEE-ACM
16 years 5 months ago
Skoll: Distributed Continuous Quality Assurance
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
Atif M. Memon, Adam A. Porter, Cemal Yilmaz, Adith...
KBSE
2005
IEEE
15 years 11 months ago
Automated test generation for engineering applications
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
Songtao Xia, Ben Di Vito, César Muño...