4460 search results - page 138 / 892 » Resources in process algebra |
132
click to vote
CONCUR
1990
Springer
15 years 10 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
169
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
In low bit-rate coders, the near-sample and far-sample redundancies of the speech signal are usually removed by a cascade of a shortterm and a long-term linear predictor. These tw...
148
click to vote
MASCOTS
2004
15 years 7 months ago
2004
We describe the application of a performance engineering methodology based on UML diagrams with annotations taken from the Profile for Schedulability, Performance and Time. The me...
143
click to vote
ICT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Resource limitation on management scripts has been an important requirement for distributed management environments. This article proposes a Script MIB extension with new...
166
click to vote
LREC
2010
15 years 7 months ago
2010
As the number of language resources accessible on the Internet increases, many efforts have been made for combining language resources and language processing tools to create new ...