5183 search results - page 254 / 1037 » The Complexity of Distributions |
183
click to vote
ICFP
2007
ACM
16 years 7 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
208
click to vote
ICCCN
2008
IEEE
16 years 1 months ago
2008
IEEE
— Centrality is a concept often used in social network analysis to study different properties of networks that are modeled as graphs. We present a new centrality metric called Lo...
218
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Recent advances in computer technology and wireless communications have enabled the emergence of stream-based sensor networks. In such sensor networks, real-time data ar...
230
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— The EPC Network is an industry proposal to build a global information architecture for objects carrying RFID tags with Electronic Product Codes (EPC). A so-called Object Naming...
190
click to vote
ICDCS
2006
IEEE
16 years 1 months ago
2006
IEEE
Runtime monitoring is key to the effective management of enterprise and high performance applications. To deal with the complex behaviors of today’s multi-tier applications runn...