1346 search results - page 176 / 270 » An Interface Model for Parallel Components |
111
click to vote
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
133
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Abstract. Several computing environments including wide area networks and nondedicated networks of workstations are characterized by frequent unavailability of the participating ma...
122
click to vote
CRYPTO
2005
Springer
15 years 8 months ago
2005
Springer
We study the question whether the sequential or parallel composition of two functions, each indistinguishable from a random function by non-adaptive distinguishers is secure agains...
115
click to vote
GRID
2004
Springer
15 years 7 months ago
2004
Springer
— A large and diverse consortium of grid clusters, as can be found in a university setting, requires a flexible authorization model that is scalable, extensible and easy to admi...
133
click to vote
TASLP
2008
15 years 2 months ago
2008
Abstract--This paper is concerned with the automatic recognition of dialogue acts (DAs) in multiparty conversational speech. We present a joint generative model for DA recognition ...