Sciweavers

15644 search results - page 2684 / 3129
» Brittle System Analysis
Sort
View
EDOC
2007
IEEE
16 years 1 months ago
Providing Support for Model Composition in Metamodels
In aspect-oriented modeling (AOM), a design is described using a set of design views. It is sometimes necessary to compose the views to obtain an integrated view that can be analy...
Robert B. France, Franck Fleurey, Raghu Reddy, Ben...
EUROMICRO
2007
IEEE
16 years 1 months ago
A Performance Evaluation of RSerPool Server Selection Policies in Varying Heterogeneous Capacity Scenarios
Reliable Server Pooling (RSerPool) is a protocol framework for server redundancy and session failover, currently still under standardization by the IETF RSerPool WG. Server redund...
Thomas Dreibholz, Xing Zhou, Erwin P. Rathgeb
EUROMICRO
2007
IEEE
16 years 1 months ago
Partial Verification of Software Components: Heuristics for Environment Construction
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Pavel Parizek, Frantisek Plasil
GLOBECOM
2007
IEEE
16 years 1 months ago
Spatial Outage Probability for Cellular Networks
— In this paper, we propose a new framework for the study of cellular networks called the fluid model and we derive from this model analytical formulas for interference, outage ...
Jean Marc Kelif, Marceau Coupechoux, Philippe Godl...
GLOBECOM
2007
IEEE
16 years 1 months ago
Uplink-Downlink Duality in Normalized MSE or SINR Under Imperfect Channel Knowledge
Abstract— Duality between the multi-antenna multi-user uplink and the downlink has been discovered in terms of sum rate, capacity region, signal-to-interference-plus-noise-ratio ...
Minhua Ding, Steven D. Blostein
« Prev « First page 2684 / 3129 Last » Next »