Sciweavers

1700 search results - page 111 / 340
» Processing XML with Java
Sort
View
CARDIS
1998
Springer
161views Hardware» more  CARDIS 1998»
14 years 2 months ago
Formal Proof of Smart Card Applets Correctness
: 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...
Jean-Louis Lanet, Antoine Requet
INTERACTION
2009
ACM
14 years 4 months ago
DTD2OWL: automatic transforming XML documents into OWL ontology
DTD and its instance have been considered the standard for data representation and information exchange format on the current web. However, when coming to the next generation of w...
Pham Thi Thu Thuy, Young-Koo Lee, Sungyoung Lee
DOCENG
2004
ACM
14 years 3 months ago
Querying XML documents by dynamic shredding
With the wide adoption of XML as a standard data representation and exchange format, querying XML documents becomes increasingly important. However, relational database systems co...
Hui Zhang 0003, Frank Wm. Tompa
ADAEUROPE
2009
Springer
14 years 4 months ago
Weak Fairness Semantic Drawbacks in Java Multithreading
With the development of embedded and mobile systems, Java is widely used for application programs and is also considered for implementing systems kernel or application platforms. I...
Claude Kaiser, Jean-François Pradat-Peyre
PPPJ
2004
ACM
14 years 3 months ago
A low-footprint class loading mechanism for embedded Java virtual machines
This paper shows that it is possible to dramatically reduce the memory consumption of classes loaded in an embedded Java virtual machine without reducing its functionalities. We d...
Christophe Rippert, Alexandre Courbot, Gilles Grim...