7557 search results - page 333 / 1512 » Modeling Timed Concurrent Systems |
174
click to vote
LCTRTS
2001
Springer
15 years 11 months ago
2001
Springer
When the Asynchronous Method Invocation (AMI) model was introduced into the CORBA specification, client applications benefited from the ability to invoke nonblocking two-way reque...
178
click to vote
IPL
2010
15 years 5 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
161
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, we present for the first time the fingerprint IRCAM system for audio identification in streams. The baseline system relies on a double-nested Short Time Fourier ...
188
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
In regular inference, the problem is to infer a regular language, typically represented by a deterministic finite automaton (DFA) from answers to a finite set of membership querie...
164
click to vote
JCP
2008
15 years 6 months ago
2008
In the present paper, by applying the theory of stochastic processes and interacting particle systems and models, including stopping time theory and stochastic voter model, we mode...