7288 search results - page 145 / 1458 » On process rate semantics |
153
click to vote
LICS
2008
IEEE
16 years 17 days ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
213
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
156
click to vote
FOSSACS
2007
Springer
16 years 10 days ago
2007
Springer
We use the framework of biorthogonality to introduce a novel semantic definition of the concept of barb (basic observable) for process calculi. We develop a uniform basic theory o...
174
click to vote
VALUETOOLS
2006
ACM
16 years 3 days ago
2006
ACM
Motivated by the need to study traffic flow affected by incidents we consider M/M/C queueing system where servers operate in a Markovian environment. When a traffic incident hap...
142
click to vote
NAACL
1994
15 years 7 months ago
1994
This paper describes several new cepstral-based compensation procedures that render the SPHINX-II system more robust with respect to acoustical environment. The first algorithm, p...