Sciweavers

741 search results - page 36 / 149
» Steps towards C C: A Language for Interactions
Sort
View
ACTA
2007
126views more  ACTA 2007»
13 years 8 months ago
The syntactic monoid of hairpin-free languages
The study of hairpin-free words has been initiated in the context of DNA computing. DNA strands that, theoretically speaking, are finite strings over the alphabet {A, G, C, T} are...
Lila Kari, Kalpana Mahalingam, Gabriel Thierrin
IFIP
2004
Springer
14 years 1 months ago
Nested Commits for Mobile Calculi: Extending Join
In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distrib...
Roberto Bruni, Hernán C. Melgratti, Ugo Mon...
CHI
2007
ACM
14 years 8 months ago
"Look!": using the gaze direction of embodied agents
This paper describes the results of three studies investigating an embodied agent that supports its interaction with the user by gazing at corresponding objects within its close e...
Johann Schrammel, Arjan Geven, Reinhard Sefelin, M...
WISE
2005
Springer
14 years 1 months ago
Towards the Automation of E-Negotiation Processes Based on Web Services - A Modeling Approach
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...
Stefanie Rinderle, Morad Benyoucef
HT
2004
ACM
14 years 1 months ago
A linking and interaction evaluation test set for SMIL
The SMIL 2.0 Language profile support several mechanisms for controlling interactivity in a SMIL 2.0 presentation. Unfortunately, the SMIL standard testset does not verify complex...
Dick C. A. Bulterman