Sciweavers

2432 search results - page 100 / 487
» High-level approach to modeling of observed system behavior
Sort
View
ICDCSW
2002
IEEE
15 years 11 months ago
Separating Introspection and Intercession to Support Metamorphic Distributed Systems
Many middleware platforms use computational reflection to support adaptive functionality. Most approaches intertwine the activity of observing behavior (introspection) with the a...
Eric P. Kasten, Philip K. McKinley, Seyed Masoud S...
UML
2005
Springer
15 years 11 months ago
Use Cases in Model-Driven Software Engineering
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
Hernán Astudillo, Gonzalo Génova, Mi...
IWSAS
2001
Springer
15 years 10 months ago
Model-Based Diagnosis for Information Survivability
The Infrastructure of modern society is controlled by software systems that are vulnerable to attack. Successful attacks on these systems can lead to catastrophic results; the sur...
Howard E. Shrobe
RTCSA
2006
IEEE
16 years 9 days ago
Strengthening Property Preservation in Concurrent Real-Time Systems
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk ...
ICC
2008
IEEE
16 years 23 days ago
Queuing Analysis on MIMO Systems with Adaptive Modulation and Coding
— The combined MIMO with Adaptive Modulation and Coding (AMC) technology can provide high spectral efficiency and link robustness. Moreover, the diversity-multiplexing tradeoff ...
Sheng Zhou, Kai Zhang, Zhisheng Niu, Yang Yang