893 search results - page 38 / 179 » Modeling reactive systems in Java |
107
Voted
LOBJET
2000
15 years 2 months ago
2000
: With the increasing provision by the ODMG standard and commercial OODBMS products for transparent access to the traditional database functionality of an OODBMS from Java, there i...
149
Voted
SIGPLAN
1998
15 years 2 months ago
1998
In Java the de nition of a \program" is a bit fuzzy. A Java applet is essentially a Java application (i.e. program) that can be executed by a Java enabled Web browser (i.e. a...
147
Voted
EMSOFT
2011
Springer
14 years 2 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
115
click to vote
ICSM
2009
IEEE
15 years 9 months ago
2009
IEEE
Many of the problems that occur in long-running systems involve the way that the system uses memory. We have developed a framework for extracting and building a model of the heap ...
101
click to vote
COMPSEC
2010
14 years 11 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...