Sciweavers

3908 search results - page 217 / 782
» A model for service-oriented communication systems
Sort
View
HASE
2008
IEEE
15 years 6 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
ICC
2008
IEEE
116views Communications» more  ICC 2008»
16 years 1 months ago
Design of Non-Regenerative MIMO-Relay System with Partial Channel State Information
—Design strategy for non-regenerative multiple-input multiple-output (MIMO) relay system with partial channel state information (CSI) is developed. We assume that the CSI of the ...
Hui Won Je, Byong Ok Lee, Soojong Kim, Kwang Bok L...
INFOCOM
2003
IEEE
15 years 12 months ago
Computing the Types of the Relationships between Autonomous Systems
— We investigate the problem of computing the types of the relationships between Internet Autonomous Systems. We refer to the model introduced in [1], [2] that bases the discover...
Giuseppe Di Battista, Maurizio Patrignani, Maurizi...
INFOCOM
2000
IEEE
15 years 11 months ago
RADAR: An In-Building RF-Based User Location and Tracking System
The proliferation of mobile computing devices and local-area wireless networks has fostered a growing interest in location-aware systems and services. In this paper we present RAD...
Paramvir Bahl, Venkata N. Padmanabhan
ICCAD
1994
IEEE
127views Hardware» more  ICCAD 1994»
15 years 10 months ago
Synthesis of concurrent system interface modules with automatic protocol conversion generation
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
Bill Lin, Steven Vercauteren