598 search results - page 7 / 120 » A dynamic birthmark for java |
ENTCS
2008
13 years 7 months ago
2008
The interactive theorem prover developed in the KeY project, which implements a sequent calculus for JavaCard Dynamic Logic (JavaCardDL) is based on taclets. Taclets are lightweig...
CBSE
2009
Springer
13 years 5 months ago
2009
Springer
When dealing with dynamic component environments such as the OSGi Service Platform, where components can come from different sources and may be known only during runtime, evaluatin...
IPPS
2008
IEEE
14 years 1 months ago
2008
IEEE
Java RMI extends Java with distributed objects whose methods can be called from remote clients. traction is supported using statically-generated proxy objects on the client to hid...
ICSOC
2010
Springer
13 years 5 months ago
2010
Springer
We promote the use of transactional attributes for modelling business processes in the service-oriented scenario. Transactional attributes have been introduced in Enterprise JavaBe...
CACM
2010
13 years 4 months ago
2010
Multithreaded programs are notoriously prone to race conditions. Prior work on dynamic race detectors includes fast but imprecise race detectors that report false alarms, as well ...