Sciweavers

12333 search results - page 410 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
ECBS
2009
IEEE
113views Hardware» more  ECBS 2009»
16 years 1 months ago
Modeling and Analysis of Probabilistic Timed Systems
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
Abhishek Dubey, Derek Riley, Sherif Abdelwahed, Te...
203
Voted
APCCAS
2006
IEEE
249views Hardware» more  APCCAS 2006»
16 years 26 days ago
Uncertainty Management for Estimation in Dynamical Systems
— A novel black-box model for time series of prices analysis is proposed. It is constructed using the technique of “shaping filter”. The model identification is then propos...
H. Baili
WSC
1998
15 years 8 months ago
Simulation Modeling at Multiple Levels of Abstraction
ON MODELING AT MULTIPLE LEVELS OF ABSTRACTION Perakath Benjamin Madhav Erraguntla Dursun Delen Richard Mayer Knowledge Based Systems, Inc. 1408 University Drive College Station, Te...
Perakath C. Benjamin, Madhav Erraguntla, Dursun De...
186
Voted
APLAS
2005
ACM
16 years 11 days ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
IJACTAICIT
2010
175views more  IJACTAICIT 2010»
15 years 4 months ago
Achieving CMMI Maturity Level 3 by Implementing FEAF Reference Models
The basic purpose of an Enterprise Architecture project is creating integrity among different enterprise components, including processes, systems, technologies, and etc. While CMM...
Fatemeh Kafili Kasmaee, Ramin Nassiri, Gholamreza ...