Sciweavers

1766 search results - page 53 / 354
» Developing Applications With Objective Caml
Sort
View
MOBIDE
2006
ACM
15 years 5 months ago
Boosting location-based services with a moving object database engine
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...
Nikos Pelekis, Yannis Theodoridis
PGLDB
2003
133views Database» more  PGLDB 2003»
15 years 1 months ago
Workflows in Learning Object (LO)-Oriented Web-Based E-Learning Delivery Environments
Effective e-learning environments should promote high cooperation. Workflow techniques can certainly contribute to such effectiveness because, in these environments, the creation ...
Luiz Antônio M. Pereira
HIPC
1999
Springer
15 years 4 months ago
Memory-Optimal Evaluation of Expression Trees Involving Large Objects
The need to evaluate expression trees involving large objects arises in scientific computing applications such as electronic structure calculations. Often, the tree node objects a...
Chi-Chung Lam, Daniel Cociorva, Gerald Baumgartner...
ZUM
1997
Springer
125views Formal Methods» more  ZUM 1997»
15 years 4 months ago
A Formal OO Method Inspired by Fusion and Object-Z
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
Klaus Achatz, Wolfram Schulte
IPPS
2006
IEEE
15 years 5 months ago
Babylon v2.0: middleware for distributed, parallel, and mobile Java applications
Babylon v2.0 is a collection of tools and services that provide a 100% Java compatible environment for developing, running and managing parallel, distributed and mobile Java appli...
Willem van Heiningen, Tim Brecht, Steve MacDonald