Sciweavers

3031 search results - page 107 / 607
» Model Driven Testing Based on Test History
Sort
View
ISSTA
2009
ACM
15 years 5 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
110
Voted
DATE
2009
IEEE
167views Hardware» more  DATE 2009»
15 years 7 months ago
Analyzing the impact of process variations on parametric measurements: Novel models and applications
Abstract—In this paper we propose a novel statistical framework to model the impact of process variations on semiconductor circuits through the use of process sensitive test stru...
Sherief Reda, Sani R. Nassif
98
Voted
ICAIL
2005
ACM
15 years 6 months ago
Helping Law Students to Understand US Supreme Court Oral Arguments: A Planned Experiment
The transcripts of oral arguments before the US Supreme Court provide interesting opportunities from the viewpoint of legal education. As the pinnacle of legal argumentation, they...
Vincent Aleven, Kevin D. Ashley, Collin Lynch
92
Voted
TSP
2008
173views more  TSP 2008»
15 years 18 days ago
Gaussian Mixture Modeling by Exploiting the Mahalanobis Distance
In this paper, the expectation-maximization (EM) algorithm for Gaussian mixture modeling is improved via three statistical tests. The first test is a multivariate normality criteri...
Dimitrios Ververidis, Constantine Kotropoulos
121
Voted
APLAS
2007
ACM
15 years 4 months ago
A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract
: An Extended Abstract Alwen Tiu Computer Sciences Laboratory Australian National University Abstract. A notion of open bisimulation is formulated for the spi calculus, an extensio...
Alwen Tiu