1532 search results - page 172 / 307 » An Algebraic Process Calculus |
119
click to vote
ICIP
2002
IEEE
16 years 6 months ago
2002
IEEE
We present a new segmentation algorithm based on probabilistic histograms and introduce certainty calculus and certainty color maps to solve the difficult problem of histogram sep...
152
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We study a process calculus which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s probabilistic automata. We consider vario...
125
click to vote
CONCUR
1997
Springer
15 years 8 months ago
1997
Springer
We study properties of asynchronous communication independently of any concrete concurrent process paradigm. We give a general-purpose, mathematically rigorous definition of sever...
165
Voted
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
136
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...