7529 search results - page 376 / 1506 » The Modula-3 Type System |
143
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—In this paper, we explore the “clustering” phenomenon in BT-like systems. A high clustering implies peers have a high tendency to exchange information with peers of ...
169
click to vote
ISSAC
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we report on an experience communicating two computer algebra systems, namely GAP (and more concretely, its HAP package to compute in Homological Algebra) and Kenzo ...
182
click to vote
POLICY
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Zodiac (Zero Outage Dynamic Intrinsically Assurable Communities) is an implementation of a high-security MANET, resistant to multiple types of attacks, including Byzanti...
190
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Recursive state estimation is considered for discrete time linear systems with mixed process and measurement disturbances that have stochastic and (convex) set-bounded ...
201
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—We describe an algorithm for sub-carrier and power allocation that achieves out-of-cell interference avoidance through dynamic fractional frequency reuse (FFR) in downlink of ce...