Sciweavers

3872 search results - page 248 / 775
» The Java memory model
Sort
View
DSOM
1999
Springer
15 years 7 months ago
JAMAP: A Web-based Management Platform for IP Networks
In this paper, we describe JAMAP, a prototype of a Web-based management platform for IP networks. It is written entirely in Java. It implements the push model to perform regular ma...
Jean-Philippe Martin-Flatin, Laurent Bovet, Jean-P...
DOCENG
2008
ACM
15 years 5 months ago
A concise XML binding framework facilitates practical object-oriented document engineering
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and int...
Andruid Kerne, Zachary O. Toups, Blake Dworaczyk, ...
149
Voted
SAC
2008
ACM
15 years 2 months ago
UML-based design test generation
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
Waldemar Pires, João Brunet, Franklin Ramal...
119
Voted
CONCUR
2005
Springer
15 years 9 months ago
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
Eric Goubault, Emmanuel Haucourt
127
Voted
ACRI
2004
Springer
15 years 8 months ago
Neuropercolation: A Random Cellular Automata Approach to Spatio-temporal Neurodynamics
Abstract. We outline the basic principles of neuropercolation, a generalized percolation model motivated by the dynamical properties of the neuropil, the densely interconnected neu...
Robert Kozma, Marko Puljic, Paul Balister, B&eacut...