4485 search results - page 135 / 897 » Equivalences on Observable Processes |
139
Voted
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
: An Extended Abstract Alwen Tiu Computer Sciences Laboratory Australian National University Abstract. A notion of open bisimulation is formulated for the spi calculus, an extensio...
118
Voted
TCS
2010
15 years 1 months ago
2010
Web services are distributed processes with a public description of their behavior, or contract. The availability of repositories of Web service descriptions enables interesting f...
117
Voted
TON
1998
15 years 3 months ago
1998
— This paper explores the variations in mean queue length for stationary arrival processes with the same mean and autocorrelation functions, or equivalently, the same mean and po...
125
Voted
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper introduces a new optimization technique for moving segment labels (phone and subphonetic) to optimize statistical parametric speech synthesis models. The choice of obje...
162
click to vote
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...