Sciweavers

2958 search results - page 220 / 592
» Extending and Implementing RASP
Sort
View
ICSOC
2005
Springer
14 years 4 months ago
ASTRO: Supporting Composition and Execution of Web Services
Web services are rapidly emerging as the reference paradigm for the interaction and coordination of distributed business processes. In several research papers we have shown how ad...
Michele Trainotti, Marco Pistore, Gaetano Calabres...
ICWE
2005
Springer
14 years 4 months ago
Secure Web Forms with Client-Side Signatures
Abstract. The World Wide Web is evolving from a platform for information access into a platform for interactive services. The interaction of the services is provided by forms. Some...
Mikko Honkala, Petri Vuorimaa
ISPA
2005
Springer
14 years 4 months ago
Collective Communications for Scalable Programming
Abstract. HPJava is an environment for scientific and parallel programming using Java. It is based on an extended version of the Java language. One feature that HPJava adds to Jav...
Sang Boem Lim, Bryan Carpenter, Geoffrey Fox, Han-...
ISSAC
2005
Springer
94views Mathematics» more  ISSAC 2005»
14 years 4 months ago
Domains and expressions: an interface between two approaches to computer algebra
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
Cosmin E. Oancea, Stephen M. Watt
LCPC
2005
Springer
14 years 4 months ago
Interprocedural Symbolic Range Propagation for Optimizing Compilers
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
Hansang Bae, Rudolf Eigenmann