769 search results - page 68 / 154 » The Real-Time Specification for Java |
135
click to vote
CARDIS
1998
Springer
15 years 9 months ago
1998
Springer
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
123
click to vote
WER
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents J-RAn (Java Requirement Analyzer), a tool that implements a novel Content Analysis technique to support the verification of consistency and completeness of a So...
131
click to vote
ACMSE
2004
ACM
15 years 10 months ago
2004
ACM
This paper presents a specification-driven approach to test automation for GUI-based JAVA programs as an alternative to the use of capture/replay. The NetBeans Jemmy library provi...
150
click to vote
TOOLS
1998
IEEE
15 years 9 months ago
1998
IEEE
We have implemented a prototype distributed system for managing and accessing a digital library of geospatial imagery over a wide-area network. The system conforms to a subset of ...
161
click to vote
JTRES
2009
ACM
15 years 11 months ago
2009
ACM
Large real-time software systems such as real-time Java virtual machines often use barrier protocols, which work for a dynamically varying number of threads without using centrali...