Sciweavers

959 search results - page 160 / 192
» On the implementation of automatic differentiation tools
Sort
View
ECOOP
2008
Springer
13 years 10 months ago
Inference of Reference Immutability
Abstract. Javari is an extension of Java that supports reference immutability constraints. Programmers write readonly type qualifiers and other constraints, and the Javari typechec...
Jaime Quinonez, Matthew S. Tschantz, Michael D. Er...
APVIS
2010
13 years 10 months ago
Volume exploration using ellipsoidal Gaussian transfer functions
This paper presents an interactive transfer function design tool based on ellipsoidal Gaussian transfer functions (ETFs). Our approach explores volumetric features in the statisti...
Yunhai Wang, Wei Chen, Guihua Shan, Tingxin Dong, ...
APCCM
2007
13 years 10 months ago
A Framework for Managing the Evolution of Business Protocols in Web Services
Web services are loosely coupled software components that are published, discovered, and invoked across the Web. As the use of Web services grows, in order to correctly interact w...
Seung Hwan Ryu, Régis Saint-Paul, Boualem B...
GEOINFO
2007
13 years 10 months ago
Desenvolvimento de SIG para Web utilizando MDA
This work aims at increasing the development productivity of the Geographic Information Systems through the MDA. We defined an UML extension which adds geographic information to th...
Carlos Eduardo R. de Mello, Geraldo Zimbrão...
DAIS
2006
13 years 10 months ago
Fault-Tolerant Replication Based on Fragmented Objects
This paper describes a novel approach to fault-tolerance in distributed object-based systems. It uses the fragmented-object model to integrate replication mechanisms into distribut...
Hans P. Reiser, Rüdiger Kapitza, Jörg Do...