Sciweavers

2275 search results - page 455 / 455
» Object Evolution by Model Evolution
Sort
View
TR
2011
172views more  TR 2011»
13 years 7 days ago
Multi-State Reliability Systems Under Discrete Time Semi-Markovian Hypothesis
We consider repairable reliability systems with m components, the lifetimes and repair times of which are independent. The l-th component can be either in the failure state 0 or i...
Ourania Chryssaphinou, Nikolaos Limnios, Sonia Mal...
KI
2010
Springer
13 years 3 days ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer
ICASSP
2011
IEEE
12 years 9 months ago
Convergence results in distributed Kalman filtering
Abstract—The paper studies the convergence properties of the estimation error processes in distributed Kalman filtering for potentially unstable linear dynamical systems. In par...
Soummya Kar, Shuguang Cui, H. Vincent Poor, Jos&ea...
ICSE
2011
IEEE-ACM
12 years 8 months ago
Miler: a toolset for exploring email data
Source code is the target and final outcome of software development. By focusing our research and analysis on source code only, we risk forgetting that software is the product of...
Alberto Bacchelli, Michele Lanza, Marco D'Ambros
ANLP
1994
101views more  ANLP 1994»
13 years 6 months ago
Sublanguage Engineering In The Fog System
FoG currently produces bilingual marine and public weather forecasts at several Canadian weather offices. The system is engineered to reflect "good professional style" a...
Richard I. Kittredge, Eli Goldberg, Myunghee Kim, ...