1950 search results - page 296 / 390 » Two Abstractions for Distributed Systems of Mobile Nodes |
167
click to vote
TSMC
2010
14 years 11 months ago
2010
Abstract--We present in this paper a case study of the probabilistic approach to model-based diagnosis. Here, the diagnosed system is a real-world electrical power system (EPS), i....
150
click to vote
TIT
2008
15 years 4 months ago
2008
Abstract--Cooperative transmission protocols over fading channels are based on a number of relaying nodes to form virtual multiantenna transmissions. Diversity provided by these te...
136
click to vote
ICPPW
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Motivated by the increasing heterogeneity and complexity of MPSoC systems, we propose a component-based generic approach for MPSoC observation. We show that components...
141
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
145
Voted
CONCUR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present a reconstruction of session types in a conventional pi calculus where types are qualified as linear or unrestricted. Linearly typed communication channels are ...