Sciweavers

6253 search results - page 199 / 1251
» Use Case Modeling Guidelines
Sort
View
125
Voted
EJC
2010
14 years 10 months ago
Modelling a Query Space Using Associations
We all use our associative memory constantly. Words and concepts form paths that we can follow to find new related concepts; for example, when we think about a car we may associate...
Mika Timonen, Paula Silvonen, Melissa Kasari
IJSEKE
2011
165views more  IJSEKE 2011»
14 years 6 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...
AMC
2005
191views more  AMC 2005»
15 years 3 months ago
Model identification of ARIMA family using genetic algorithms
ARIMA is a popular method to analyze stationary univariate time series data. There are usually three main stages to build an ARIMA model, including model identification, model est...
Chorng-Shyong Ong, Jih-Jeng Huang, Gwo-Hshiung Tze...
114
Voted
ICFEM
2009
Springer
15 years 9 months ago
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
Maximiliano Cristiá, Pablo Rodríguez...
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
15 years 7 months ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu