Sciweavers

340 search results - page 48 / 68
» Validating Business Requirements Using MAS Analysis Models
Sort
View
99
Voted
CSDA
2007
124views more  CSDA 2007»
15 years 12 days ago
Wavelet based time-varying vector autoregressive modelling
Vector autoregressive (VAR) modelling is one of the most popular approaches in multivariate time series analysis. The parameters interpretation is simple, and provide an intuitive...
João Ricardo Sato, Pedro Alberto Morettin, ...
RBAC
2000
129views more  RBAC 2000»
15 years 1 months ago
Enabling technologies for role based online decision engines
: Enabling Technologies for Role Based Online Decision Engines Thomas Hildmann, Thomas Gebhardt 22-Feb-2000 The goal of our work at the Technical University of Berlin is to develop...
Thomas Gebhardt, Thomas Hildmann
105
Voted
TACAS
1998
Springer
81views Algorithms» more  TACAS 1998»
15 years 4 months ago
Formal Design and Analysis of a Gear Controller
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
Magnus Lindahl, Paul Pettersson, Wang Yi
81
Voted
HCI
2009
14 years 10 months ago
A Computational Implementation of a Human Attention Guiding Mechanism in MIDAS v5
In complex human-machine systems, the human operator is often required to intervene to detect and solve problems. Given this increased reliance on the human in these critical human...
Brian F. Gore, Becky L. Hooey, Christopher D. Wick...
105
Voted
ER
2004
Springer
169views Database» more  ER 2004»
15 years 5 months ago
Intentional Modeling to Support Identity Management
Identity management has arisen as a major and urgent challenge for internet-based communications and information services. Internet services involve complex networks of relationshi...
Lin Liu, Eric S. K. Yu