906 search results - page 7 / 182 » Linking Theories of Concurrency |
IWC
2008
14 years 9 months ago
2008
This commentary on Victor Gonza
TSP
2010
14 years 4 months ago
2010
We study the distributed sampling and centralized reconstruction of two correlated signals, modeled as the input and output of an unknown sparse filtering operation. This is akin ...
ENTCS
2008
14 years 9 months ago
2008
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
114
click to vote
TCS
2010
14 years 8 months ago
2010
The concept of stigmergy provides a simple framework for interaction and coordination in multi-agent systems. However, determining the global system behavior that will arise from ...
JCP
2006
14 years 9 months ago
2006
The generalized multiprotocol label switching (GMPLS) networks attain a hierarchical structure, and each layer maintains an independent protection mechanism, resulting in redundant...