Sciweavers

1031 search results - page 105 / 207
» codes 2004
Sort
View
FASE
2004
Springer
15 years 4 months ago
Enhancing Remote Method Invocation through Type-Based Static Analysis
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...
Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco
AFP
2004
Springer
15 years 4 months ago
A Functional Shell That Operates on Typed and Compiled Applications
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...
Rinus Plasmeijer, Arjen van Weelden
SAS
2004
Springer
105views Formal Methods» more  SAS 2004»
15 years 4 months 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
EUROMICRO
2004
IEEE
15 years 2 months ago
Model-Driven Development of Recursive CORBA Component Assemblies
Software applications can be described as compositions are components at an abstract level. In this paper we present a component modeling process which allows to design, model and...
Gernot Schmoelzer, Egon Teiniker, Stefan Mitterdor...
OTM
2004
Springer
15 years 4 months ago
MSF: A Workflow Service Infrastructure for Computational Grid Environments
Globus has become a standard in the construction of Grid computing environments. However, it still needs more work and research to satisfy requirements from various grid applicatio...
Seogchan Hwang, Jaeyoung Choi