900 search results - page 128 / 180 » On the observational theory of the CPS-calculus |
173
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Motivated by the lossy compression of an active-vision video stream, we consider the problem of finding the rate-distortion function of an arbitrarily varying source (AVS) compos...
191
click to vote
JPDC
2008
15 years 6 months ago
2008
The problem of global state observation is fundamental to distributed systems and to the analysis of data streams. Many interactions in distributed systems can be analyzed in term...
163
click to vote
JSAC
2008
15 years 6 months ago
2008
Given an arbitrary network of interconnected nodes, we develop and analyze a distributed strategy that enables a subset of the nodes to calculate any given function of the node val...
170
click to vote
DEDS
2007
15 years 6 months ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
150
click to vote
JTAER
2008
15 years 6 months ago
2008
This paper examines the impact of RFID investment announcements on the market value of the firms and explores industry effects of the positive abnormal returns to firms making the...