2625 search results - page 440 / 525 » The development of the Emerald programming language |
147
click to vote
CCS
1998
ACM
15 years 8 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
127
click to vote
ICSM
1996
IEEE
15 years 8 months ago
1996
IEEE
It is well known that the extensive use of preprocessors can lead to serious maintenance problems. However, these tools are still heavily used by developers and maintainers to imp...
180
click to vote
MFCS
1994
Springer
15 years 8 months ago
1994
Springer
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
FOCS
1990
IEEE
15 years 8 months ago
1990
IEEE
We present several e cient algorithms for sorting on the uniform memory hierarchy UMH, introduced by Alpern, Carter, and Feig, and its parallelization P-UMH. We give optimal and ne...
100
click to vote
PNPM
1989
15 years 8 months ago
1989
We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as markingdepe...