Sciweavers

3872 search results - page 283 / 775
» The Java memory model
Sort
View
118
Voted
GEOINFO
2004
15 years 5 months ago
Using XML Languages for Modeling and Web-Visualization of Geographical Legacy Data
In our aim to modernize geographical legacy data from the German office of geographical survey with XML languages, we first modeled the data in GML, a standard language for geograp...
Brigitte Mathiak, Andreas Kupfer, Karl Neumann
MTA
2000
112views more  MTA 2000»
15 years 3 months ago
Interactive Multimedia Documents: A Modeling, Authoring and Rendering Approach
In this paper we present our research and development experience in the context of Interactive Multimedia Documents (IMDs). We define a rich model for such documents covering the ...
Michalis Vazirgiannis, D. Tsirikos, Th. Markousis,...
CN
1998
58views more  CN 1998»
15 years 3 months ago
A solid modeling library for the World Wide Web
A library of functions for the creation, manipulation, and viewing of solid models was created for deployment on the World Wide Web. The core data structure was based on the halfe...
Stephen Chi-fai Chan, Vincent T. Y. Ng, Albert S. ...
147
Voted
SAC
2000
ACM
15 years 7 months ago
An Approach for Modeling the Name Lookup Problem in the C++ Programming Language
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
James F. Power, Brian A. Malloy
FMOODS
2007
15 years 5 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...