893 search results - page 27 / 179 » Modeling reactive systems in Java |
IV
1999
IEEE
15 years 6 months ago
1999
IEEE
Java3D is an application-centred approach to building 3D worlds. We use Java3D and VRML to design a prototype WWW-based 3D Hotel Browsing system. A Java3D scene graph viewer was i...
111
Voted
PDSE
1998
15 years 3 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
129
Voted
JTRES
2009
ACM
15 years 9 months ago
2009
ACM
102
click to vote
FM
2001
Springer
15 years 7 months ago
2001
Springer
Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model...
128
Voted
ENTCS
1998
15 years 2 months ago
1998
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...