195 search results - page 16 / 39 » Process Algebra with Nonstandard Timing |
GLOBECOM
2009
IEEE
15 years 3 months ago
2009
IEEE
A challenging research issue of analyzing networks where packets are served probabilistically, such as multi-access networks and wireless networks, is to characterize the stochasti...
115
click to vote
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Peer-to-peer systems, exchanging dynamic documents through Web services, are a simple and effective platform for data integration on the internet. Dynamic documents can contain b...
QSIC
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper we propose a metric for finite processes in a probabilistic extension of CSP. The kernel of the metric corresponds to trace equivalence and most of the operators in...
111
click to vote
RTSS
2008
IEEE
15 years 6 months ago
2008
IEEE
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...
ISVC
2010
Springer
14 years 10 months ago
2010
Springer
Algebraic methods for image reconstruction provide good solutions even if only few projections are available. However, they can create noisy images if the number of iterations or t...