Sciweavers

2746 search results - page 315 / 550
» Case Study in Survivable Network System Analysis
Sort
View
CDC
2009
IEEE
132views Control Systems» more  CDC 2009»
15 years 11 months ago
Robust stability of multi-hop control networks
Abstract— We propose formal models for analyzing robustness of multi-hop control networks, where data from sensors to controllers and from controllers to actuators is sent throug...
Gera Weiss, Alessandro D'Innocenzo, Rajeev Alur, K...
DSS
2000
113views more  DSS 2000»
15 years 6 months ago
Quality of service provision in noncooperative networks with diverse user requirements
This paper studies the quality of service (QoS) provision problem in noncooperative networks where applications or users are sel sh and routers implement generalized processor sha...
K. Park, M. Sitharam, S. Chen
INFOCOM
2010
IEEE
15 years 5 months ago
MSET: A Mobility Satellite Emulation Testbed
—Satellite systems are ideal for distributing the same content to a large number of users, as well as providing broadband connectivity in remote areas or backup in case of terres...
Roman Chertov, Daniel M. Havey, Kevin C. Almeroth
CSMR
2006
IEEE
16 years 19 days ago
Dynamic Object Process Graphs
A trace is a record of the execution of a computer program, showing the sequence of operations executed. A trace may be obtained through static or dynamic analysis. An object trac...
Jochen Quante, Rainer Koschke
DATE
2003
IEEE
87views Hardware» more  DATE 2003»
15 years 12 months ago
A First Step Towards Hw/Sw Partitioning of UML Specifications
This paper proposes a novel methodology tailored to design embedded systems, taking into account the emerging market needs, such as hw/sw partitioning, object-oriented specificati...
William Fornaciari, P. Micheli, Fabio Salice, L. Z...