10575 search results - page 1816 / 2115 » T2Script Programming Language |
156
click to vote
HCW
1998
IEEE
15 years 8 months ago
1998
IEEE
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client server-based distributed systems. However, there a...
138
click to vote
HICSS
1998
IEEE
15 years 8 months ago
1998
IEEE
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
136
click to vote
PACT
1999
Springer
15 years 8 months ago
1999
Springer
We introduce a new model for objects which can move around on a cellular grid. The model consists of two phases, the movement phase and the con ict resolution phase. In the movemen...
140
click to vote
SCCC
1998
IEEE
15 years 8 months ago
1998
IEEE
Java is a programming language designed with concurrency in mind from its inception. However, the synchronization mechanism provided is a restricted version of Hoare's Monito...
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...