346 search results - page 42 / 70 » Determinizing Asynchronous Automata |
EACL
1993
ACL Anthology
14 years 11 months ago
1993
ACL Anthology
A new class of formal languages will be defined the Distributed Index Languages (DI-languages). The grammar-formalism generating the new class - the DI-grammars - cover unbound de...
ICCAD
2006
IEEE
15 years 7 months ago
2006
IEEE
Early evaluation allows to execute operations when enough information at the inputs has been received to determine the value at the outputs. Systems that can tolerate variable-lat...
INTERACT
2007
14 years 11 months ago
2007
We examine whether or not it is possible to determine, recognize and/or report the emotional state of a group of people through touch and/or body motion. We present the initial des...
INFOCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
The Mulitplicative Increase Multiplicative Decrease (MIMD) congestion control algorithm in the form of Scalable TCP has been proposed for high speed networks. We study fairness amo...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...