Sciweavers

5154 search results - page 151 / 1031
» Computing and using residuals in time series models
Sort
View
IPPS
2006
IEEE
16 years 1 months ago
Timed automata based analysis of embedded system architectures
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
Martijn Hendriks, Marcel Verhoef
GEOINFO
2004
15 years 8 months ago
Uncertainty in Digital Elevation Data Used For Geophysical Flow Simulation
: Elevation information plays a crucial role in simulations of geophysical flows providing the slope and curvature information required to solve a series of differential equations....
Laércio Massaru Namikawa, Chris S. Renschle...
SACMAT
2009
ACM
16 years 1 months ago
Towards formal security analysis of GTRBAC using timed automata
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri
WSC
2008
15 years 9 months ago
Measuring the effectiveness of the s-metric to produce better network models
Recent research has shown that while many complex networks follow a power-law distribution for their node degrees, it is not sufficient to model these networks based only on their...
Isabel Beichl, Brian Cloteaux
PE
2010
Springer
140views Optimization» more  PE 2010»
15 years 5 months ago
KPC-Toolbox: Best recipes for automatic trace fitting using Markovian Arrival Processes
We present the KPC-Toolbox, a library of MATLAB scripts for fitting workload traces into Markovian Arrival Processes (MAPs) in an automatic way based on the recently proposed Kro...
Giuliano Casale, Eddy Z. Zhang, Evgenia Smirni