3575 search results - page 112 / 715 » Modeling Concurrency with Geometry |
150
click to vote
DAGSTUHL
2001
15 years 2 months ago
2001
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...
121
click to vote
CHI
1993
ACM
15 years 5 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 ...
108
click to vote
TPPP
1994
15 years 5 months ago
1994
Time can be understood as dual to information in extant models of both sequential and concurrent computation. The basis for this duality is phase space, coordinatized by time and ...
100
click to vote
ENTCS
2007
15 years 1 months ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
126
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
In this paper we resolve an open problem regarding resettable zero knowledge in the bare public-key (BPK for short) model: Does there exist constant round resettable zero knowledg...