Sciweavers

1034 search results - page 155 / 207
» A UNITY-Based Framework Towards Component Based Systems
Sort
View
KR
2010
Springer
15 years 2 months ago
New Advances in Sequential Diagnosis
Sequential diagnosis takes measurements of an abnormal system to identify faulty components, where the goal is to reduce the diagnostic cost, defined here as the number of measur...
Sajjad Ahmed Siddiqi, Jinbo Huang
DLS
2009
196views Languages» more  DLS 2009»
14 years 7 months ago
Contracts for first-class modules
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
T. Stephen Strickland, Matthias Felleisen
CORR
2011
Springer
182views Education» more  CORR 2011»
14 years 4 months ago
Cyber-Physical Attacks in Power Networks: Models, Fundamental Limitations and Monitor Design
— Future power networks will be characterized by safe and reliable functionality against physical malfunctions and cyber attacks. This paper proposes a unified framework and adv...
Fabio Pasqualetti, Florian Dörfler, Francesco...
QSIC
2007
IEEE
15 years 4 months ago
Coping with API Evolution for Running, Mission-Critical Applications Using Virtual Execution Environment
Recent research showed that the majority of compatibility-breaking changes in a component-based, object-oriented software system are refactorings [5]. The software updating proces...
Bashar Gharaibeh, Tien N. Nguyen, J. Morris Chang
WWW
2005
ACM
15 years 10 months ago
Multichannel publication of interactive media documents in a news environment
Multichannel publication of multimedia presentations poses a significant challenge on the generic description of the presentation content and the system necessary to convert these...
Tom Beckers, Nico Oorts, Filip Hendrickx, Rik Van ...