Sciweavers

1995 search results - page 364 / 399
» interfaces 2008
Sort
View
DEBU
2008
100views more  DEBU 2008»
13 years 11 months ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu
DEBU
2008
125views more  DEBU 2008»
13 years 11 months ago
Querying XML in Timber
In this paper, we describe the TIMBER XML database system implemented at University of Michigan. TIMBER was one of the first native XML database systems, designed from the ground ...
Yuqing Wu, Stelios Paparizos, H. V. Jagadish
ENTCS
2008
106views more  ENTCS 2008»
13 years 11 months ago
Modelling Adaptive Systems in ForSyDe
Emerging architectures such as partially reconfigurable FPGAs provide a huge potential for adaptivity in the area of embedded systems. Since many system functions are only execute...
Ingo Sander, Axel Jantsch
ENTCS
2008
142views more  ENTCS 2008»
13 years 11 months ago
An Open System Operational Semantics for an Object-Oriented and Component-Based Language
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
Jasmin Christian Blanchette, Olaf Owe
ENVSOFT
2008
106views more  ENVSOFT 2008»
13 years 11 months ago
Analysis of self-describing gridded geoscience data with netCDF Operators (NCO)
1 The netCDF Operator (NCO) software facilitates manipulation and analysis of gridded2 geoscience data stored in the self-describing netCDF format. NCO is optimized to efficiently3...
Charles S. Zender