Sciweavers

1135 search results - page 152 / 227
» On Performance of Delegation in Java
Sort
View
132
Voted
FASE
2004
Springer
15 years 9 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
123
Voted
MKM
2004
Springer
15 years 9 months ago
An Architecture for Distributed Mathematical Web Services
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
Elena S. Smirnova, Clare M. So, Stephen M. Watt
116
Voted
SAS
2004
Springer
105views Formal Methods» more  SAS 2004»
15 years 9 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
SEKE
2004
Springer
15 years 9 months ago
Digging into the Visitor Pattern
In this paper we present an alternative to the VISITOR pattern, DYNAMIC DISPATCHER, that can be applied to extend existing software in a nonintrusive way, and which simulates cova...
Fabian Büttner, Oliver Radfelder, Arne Lindow...
SGAI
2004
Springer
15 years 9 months ago
OntoSearch: An Ontology Search Engine
Reuse of knowledge bases and the semantic web are two promising areas in knowledge technologies. Given some user requirements, finding the suitable ontologies is an important task...
Yi Zhang, Wamberto Weber Vasconcelos, Derek H. Sle...