2529 search results - page 433 / 506 » The Logical Structure of Binding |
ICDCSW
2007
IEEE
15 years 4 months 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...
INFOCOM
2007
IEEE
15 years 4 months 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...
102
click to vote
LICS
2007
IEEE
15 years 4 months 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...
VTS
2007
IEEE
15 years 4 months 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...
CCS
2007
ACM
15 years 4 months 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, ...