615 search results - page 89 / 123 » High-Level Nondeterministic Abstractions in |
105
click to vote
COOPIS
1997
IEEE
15 years 1 months ago
1997
IEEE
Coordination and collaboration are naturally used by groups for carrying out activities and solving problems that require cooperation. However, getting a set of computer agents to...
73
Voted
IH
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. Users of some systems are at risk of being compelled to disclose their keys or other private data, and this risk could be mitigated if access control mechanisms supported...
101
Voted
ESORICS
1994
Springer
15 years 1 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
103
Voted
ALP
1992
Springer
15 years 1 months ago
1992
Springer
Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure repreat a high level of abstraction, a form of control....
123
click to vote
ICS
1992
Tsinghua U.
15 years 1 months ago
1992
Tsinghua U.
CODE 2.0 is a graphical parallel programming system that targets the three goals of ease of use, portability, and production of efficient parallel code. Ease of use is provided by...