Sciweavers

3527 search results - page 294 / 706
» Test Automation in Practice
Sort
View
IADIS
2003
15 years 8 months ago
A Flexible Approach to Semi-Automatic Accessibility Evaluation
Experience in preparing Web content for people with visual disabilities shows that automatic testing of accessibility is clearly insufficient to meet real-world demands, and that ...
Mireille Blay-Fornarino, Karima Boudaoud, Anne-Mar...
ISMB
1997
15 years 8 months ago
Identifying Chimerism in Proteins Using Hidden Markov Models of Codon Usage
Protein chimerism is a phenomenon involving the combination of multiple ancestral sequences into a single, multi-domain protein through evolution. We propose a novel method for de...
Lawrence Hunter, Barry Zeeberg
IJSEKE
2011
165views more  IJSEKE 2011»
14 years 10 months ago
Model Checking for Verification of Mandatory Access Control Models and Properties
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun H...
IAT
2008
IEEE
16 years 1 months ago
Competency-Based Intelligent Curriculum Sequencing: Comparing Two Evolutionary Approaches
The process of creating e-learning contents using reusable learning objects (LOs) can be broken down in two sub-processes: LOs finding and LO sequencing. Although semiautomatic to...
Luis de Marcos, Roberto Barchino, José-Javi...
IPPS
2007
IEEE
16 years 27 days ago
A Framework for Experimental Validation and Performance Evaluation in Fault Tolerant Distributed System
Performing experimental evaluation of fault tolerant distributed systems is a complex and tedious task, and automating as much as possible of the execution and evaluation of exper...
Hein Meling