1027 search results - page 151 / 206 » A Model for Java with Wildcards |
128
click to vote
COORDINATION
2000
Springer
15 years 7 months ago
2000
Springer
Internet-based multi-agent systems call for new metaphors, abstractions, methodologies and enabling technologies specifically tailored to agent-oriented engineering. While coordin...
106
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper describes an implementation of Java's Remote Method Invocation RMI that is designed to run on top of the Globus high performance computing protocol. The primary con...
112
click to vote
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
An operational profile is a quantification of the expected use of a system. Determining an operational profile for software is a crucial and difficult part of software reliability...
113
click to vote
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We describe a low-level calculus, called ink (pronounced "links"), designed to serve as an intermediate representation in compilers for class-based objectorient...
133
click to vote
ESORICS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already downloaded applets. A security policy has been de...