1414 search results - page 232 / 283 » Automated Metamorphic Testing |
CIBCB
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract-Post-translational protein modifications play an important role in many protein pathways and interactions. It has been hypothesized that modifications to proteins occur in...
ICDCS
2005
IEEE
14 years 1 months ago
2005
IEEE
We present middleware for a Server Development Environment that facilitates live development of SOAP and CORBA servers. As the underlying implementation platform, we use JPie, a t...
TIME
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
KCAP
2005
ACM
14 years 1 months ago
2005
ACM
Effective reuse of Knowledge Bases (KBs) often entails the expensive task of identifying plausible KB-PS (Problem Solver) combinations. We propose a novel technique based on Const...
AIED
2005
Springer
14 years 1 months ago
2005
Springer
Abstract: The problem of modeling and assessing an individual’s ability level is central to learning environments. Numerous approaches exists to this end. Computer Adaptive Testi...