Sciweavers

5945 search results - page 288 / 1189
» A Model for Projection and Action
Sort
View
DAC
2010
ACM
15 years 10 months ago
Automated compact dynamical modeling: an enabling tool for analog designers
In this paper we summarize recent developments in compact dynamical modeling for both linear and nonlinear systems arising in analog applications. These techniques include methods...
Bradley N. Bond, Luca Daniel
CRITIS
2008
15 years 8 months ago
Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures
The interdependencies between infrastructures may be the cause of serious problems in mission/safety critical systems. In the CRUTIAL3 project the interdependencies between the ele...
Marco Beccuti, Giuliana Franceschinis, Mohamed Ka&...
VISSYM
2004
15 years 8 months ago
Visualization For Public-Resource Climate Modeling
Climateprediction.net aims to harness the spare CPU cycles of a million individual users' PCs to run a massive ensemble of climate simulations using an up-to-date, full-scale...
J. P. R. B. Walton, D. Frame, D. A. Stainforth
ICTAC
2010
Springer
15 years 5 months ago
Formal Modelling of Separation Kernel Components
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
Andrius Velykis, Leo Freitas
IJMTM
2010
83views more  IJMTM 2010»
15 years 1 months ago
The impact of Product Lifecycle Management on virtual team creation: a concept change model for heightened productivity
: This paper addresses issues related to the implementation of product lifecycle management (PLM) in support of cross-cultural virtual teams (CCVT). The cross-cultural virtual team...
Magdalena B. Lech, Tanner J. Georgiades, John E. S...