3500 search results - page 11 / 700 » Implementing Java on Clusters |
COMPSEC
2010
14 years 9 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
121
Voted
EMSOFT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
127
Voted
CLUSTER
2002
IEEE
15 years 28 days ago
2002
IEEE
The need to conduct and manage large sets of experiments for scientific applications dramatically increased over the last decade. However, there is still very little tool support ...
CLUSTER
2007
IEEE
15 years 7 months ago
2007
IEEE
156
Voted
SAC
2008
ACM
15 years 17 days ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...