Sciweavers

278 search results - page 43 / 56
» An interactive tutorial system for Java
Sort
View
GPCE
2005
Springer
14 years 1 months ago
A Versatile Kernel for Multi-language AOP
Abstract. Being able to define and use different aspect languages, including domain-specific aspect languages, to cleanly modularize concerns of a software system represents a v...
Éric Tanter, Jacques Noyé
ACMSE
2004
ACM
14 years 1 months ago
A Message Board Client for handheld devices
The need to develop portable applications for hand-held devices is growing rapidly. The proliferation of handheld devices such as cellular telephones and Personal Digital Assistan...
Jennifer M. Bennett, Mickey L. Armstrong, Swapna G...
SAS
2004
Springer
105views Formal Methods» more  SAS 2004»
14 years 29 days ago
Type Inference Against Races
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
Cormac Flanagan, Stephen N. Freund
CP
2000
Springer
13 years 12 months ago
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha...
APSEC
2004
IEEE
13 years 11 months ago
Systematic Operational Profile Development for Software Components
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...
Rakesh Shukla, David A. Carrington, Paul A. Stroop...