Sciweavers

6253 search results - page 199 / 1251
» Use Case Modeling Guidelines
Sort
View
EJC
2010
15 years 1 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 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...
AMC
2005
191views more  AMC 2005»
15 years 6 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...
ICFEM
2009
Springer
16 years 1 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 10 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