Java implementation | Sciweavers

28

COMPSEC
2010

142views more COMPSEC 2010»

Provably correct Java implementations of Spi Calculus security protocols specifications

13 years 9 months ago

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 ...

Alfredo Pironti, Riccardo Sisto

claim paper

Read More »

49

click to vote

CORR
1999
Springer

107views Education» more CORR 1999»

WebScript - A Scripting Language for the Web

14 years 12 days ago

Download ecommons.library.cornell.edu

WebScript is a scripting language for processing Web documents. Designed as an extension to Jacl, the Java implementation of Tcl, WebScript allows programmers to manipulate HTML i...

Yin Zhang

claim paper

Read More »

35

click to vote

JSS
2007

115views more JSS 2007»

A case study in re-engineering to enforce architectural control flow and data sharing

14 years 19 days ago

Download www.cs.cmu.edu

Without rigorous software development and maintenance, software tends to lose its original architectural structure and become diﬃcult to understand and modify. ArchJava, a recen...

Marwan Abi-Antoun, Jonathan Aldrich, Wesley Coelho

claim paper

Read More »

33

click to vote

IPPS
2003
IEEE

136views Distributed And Parallel Com...» more IPPS 2003»

Distributed Process Networks in Java

14 years 6 months ago

Download www.cc.gatech.edu

Kahn deﬁned a formal model for networks of processes that communicate through channels carrying streams of data tokens. His mathematical results show the necessary conditions fo...

Thomas M. Parks, David Roberts

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers