2529 search results - page 433 / 506 » The Logical Structure of Binding |
146
click to vote
ICDCSW
2007
IEEE
16 years 19 days ago
2007
IEEE
Peer-to-Peer (P2P) systems are currently used in a variety of applications. File sharing applications and ad hoc networking have fueled the usage of these systems. P2P systems gen...
157
click to vote
INFOCOM
2007
IEEE
16 years 18 days ago
2007
IEEE
— We introduce a low-complexity distributed slotted MAC protocol that can support all feasible arrival rates in a wireless backhaul network (WBN). For arbitrary wireless networks...
190
click to vote
LICS
2007
IEEE
16 years 17 days ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...
162
click to vote
VTS
2007
IEEE
16 years 17 days ago
2007
IEEE
A methodology is presented for improving the amount of compression achieved by continuous-flow decompressors by using multiple ratios of scan chains to tester channels (i.e., expa...
165
click to vote
CCS
2007
ACM
16 years 14 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...