826 search results - page 14 / 166 » Resolving Concurrent Interactions |
RE
1995
Springer
15 years 1 months ago
1995
Springer
In an evolving specification, considerable development time and effort is spent handling recurrent inconsistencies. Tools and techniques for detecting and resolving inconsistencie...
CSFW
2007
IEEE
15 years 3 months ago
2007
IEEE
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...
FOSSACS
2005
Springer
15 years 3 months ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
73
Voted
IVA
2009
Springer
15 years 4 months ago
2009
Springer
Actor agents in a virtual reality and interactive drama must deliver a believable performance. This is challenging and many issues need to be resolved. One prominent problem is tha...
91
Voted
CHI
1993
ACM
15 years 1 months ago
1993
ACM
Multimodal interaction enables the user to employ different modalities such as voice, gesture and typing for communicating with a computer. This paper presents an analysis of the ...