Sciweavers

1151 search results - page 59 / 231
» A Requirements Negotiation Model Based on Multi-Criteria Ana...
Sort
View
ATVA
2006
Springer
100views Hardware» more  ATVA 2006»
15 years 10 months ago
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis
Chaining can reduce the number of iterations required for symbolic state-space generation and model-checking, especially in Petri nets and similar asynchronous systems, but require...
Ming-Ying Chung, Gianfranco Ciardo, Andy Jinqing Y...
CSDA
2007
124views more  CSDA 2007»
15 years 6 months 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, ...
166
Voted
JNW
2006
108views more  JNW 2006»
15 years 6 months ago
System-Level Fault Diagnosis Using Comparison Models: An Artificial-Immune-Systems-Based Approach
The design of large dependable multiprocessor systems requires quick and precise mechanisms for detecting the faulty nodes. The problem of system-level fault diagnosis is computati...
Mourad Elhadef, Shantanu Das, Amiya Nayak
ICCS
2005
Springer
15 years 11 months ago
Ensemble-Based Data Assimilation for Atmospheric Chemical Transport Models
The task of providing an optimal analysis of the state of the atmosphere requires the development of dynamic data-driven systems (d3 as) that efficiently integrate the observationa...
Adrian Sandu, Emil M. Constantinescu, Wenyuan Liao...
172
Voted
MOBIHOC
2003
ACM
15 years 11 months ago
Mobility modelling and trajectory prediction for cellular networks with mobile base stations
This paper provides mobility estimation and prediction for a variant of GSM network which resembles an adhoc wireless mobile network where base stations and users are both mobile....
Pubudu N. Pathirana, Andrey V. Savkin, Sanjay Jha