850 search results - page 152 / 170 » Modeling synchronous systems in BIP |
ICPADS
2007
IEEE
14 years 2 months ago
2007
IEEE
For some sequential loops, existing techniques that form speculative threads only at their loop boundaries do not adequately expose the speculative parallelism inherent in them. T...
ESOP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
MM
2005
ACM
14 years 2 months ago
2005
ACM
In this paper we present our work toward the creation of a multimodal expressive Embodied Conversational Agent (ECA). Our agent, called Greta, exhibits nonverbal behaviors synchro...
ADAEUROPE
2005
Springer
14 years 2 months ago
2005
Springer
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...
CSCW
2004
ACM
14 years 1 months ago
2004
ACM
A framework is described for analyzing keystroke level data from instant messages (IM). This is unlike other analyses of IM which employ server-based logs of messages. This framew...