Sciweavers

751 search results - page 91 / 151
» The Distinguishing Chromatic Number
Sort
View
PIMRC
2008
IEEE
15 years 5 months ago
The Wireless Engset Multi-Rate Loss Model for the Handoff traffic analysis in W-CDMA networks
—The call-level performance modelling and evaluation of 3G cellular networks is important for the proper network dimensioning and efficient use of the network resources, such as ...
Vassilios G. Vassilakis, Michael D. Logothetis
ACSD
2007
IEEE
102views Hardware» more  ACSD 2007»
15 years 5 months ago
Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis
We study sensor minimization problems in the context of fault diagnosis. Fault diagnosis consists in synthesizing a diagnoser that observes a given plant and identifies faults in...
Franck Cassez, Stavros Tripakis, Karine Altisen
CEC
2007
IEEE
15 years 5 months ago
Evolutionary search for cellular automata that exhibit self-organizing properties induced by external perturbations
— Cellular Automata (CAs) have been investigated extensively as abstract models of the distributed systems composed of autonomous entities characterized by local interaction. How...
Yusuke Iwase, Reiji Suzuki, Takaya Arita
CSFW
2007
IEEE
15 years 5 months ago
Compositional Security for Task-PIOAs
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nan...
GLOBECOM
2007
IEEE
15 years 5 months ago
A MAC Protocol with Directional Antennas for Deafness Avoidance in Ad Hoc Networks
Abstract—Directional antennas are expected to provide significant improvements over omni-directional antennas in wireless ad hoc networks. Directional MAC protocols, however, int...
Masanori Takata, Masaki Bandai, Takashi Watanabe