200 search results - page 31 / 40 » Statistical Abstraction and Model-Checking of Large Heteroge... |
ICDCS
2010
IEEE
13 years 12 months ago
2010
IEEE
Abstract—To enable decentralised actions in very large distributed systems, it is often important to provide the nodes with global knowledge about the values of attributes across...
NOMS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—The security mechanisms employed in current networked environments are increasingly complex, and their configuration management has an important role for the protection...
HASKELL
2009
ACM
14 years 2 months ago
2009
ACM
Data-type generic programming can be used to traverse and manipulate specific parts of large heterogeneously-typed tree structures, without the need for tedious boilerplate. Gene...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— A computationally efficient optimal double correlation (ODC) filter, which works on the fourth order statistics of received samples, is proposed for carrier frequency...
TWC
2008
13 years 7 months ago
2008
Abstract--Distributed medium access control (MAC) is essential for a wireless network without a central controller. In previous work of the authors, a distributed MAC scheme has be...