Search Sciweavers | Sciweavers

1027 search results - page 3 / 206

» A Model for Java with Wildcards

click to vote

ICSE
2007
IEEE-ACM

84views Software Engineering» more ICSE 2007»

Refactoring for Parameterizing Java Classes

14 years 5 months ago

Download www.cs.washington.edu

Type safety and expressiveness of many existing Java libraries and their client applications would improve, if the libraries were upgraded to define generic classes. Efficient and...

Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M...

claim paper

Read More »

click to vote

COMPSEC
2010

142views more COMPSEC 2010»

Provably correct Java implementations of Spi Calculus security protocols specifications

13 years 2 months ago

Download alfredo.pironti.eu

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 »

click to vote

COMPSYSTECH
2010

148views Hardware» more COMPSYSTECH 2010»

Integration of neural networks and expert systems for time series prediction

13 years 2 months ago

Download www.iit.bas.bg

: In this paper an approach for development of univariate time series prediction library in Java and its integration with an existing CLIPS related system is presented .A backpropa...

Ventsislav Nikolov, Valeri Bogdanov

claim paper

Read More »

click to vote

JTRES
2010
ACM

158views Embedded Systems» more JTRES 2010»

A locality model for the real-time specification for Java

13 years 3 months ago

Download d3s.mff.cuni.cz

Abdul Haseeb Malik, Andy J. Wellings, Yang Chang

claim paper

Read More »