3938 search results - page 362 / 788 » Interactive Protocols on the Reals |
181
click to vote
FSTTCS
2004
Springer
16 years 5 days ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...
173
click to vote
NIME
2004
Springer
16 years 4 days ago
2004
Springer
High capacity of transmission lines (Ethernet in particular) is much higher than what imposed by MIDI today. So it is possible to use capturing interfaces with high-speed and high...
141
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We describe the software architecture of a system for doing multiphysics simulation of a coupled fluid, thermal, and mechanical fracture problem. The system is organized...
154
click to vote
ASIACRYPT
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We introduce weaker models for non-interactive zero knowledge, in which the dealer is not restricted to deal a truly random string and may also have access to the input t...
175
click to vote
SIGSOFT
1998
ACM
15 years 11 months ago
1998
ACM
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...