Sciweavers

1027 search results - page 98 / 206
» A Model for Java with Wildcards
Sort
View
108
Voted
CAV
2006
Springer
120views Hardware» more  CAV 2006»
15 years 7 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan
116
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
125
Voted
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. ...
143
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