1700 search results - page 114 / 340 » Processing XML with Java |
SPIN
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
CCE
2008
13 years 10 months ago
2008
Easy Java Simulations (Ejs) and Sysquake are two software tools specifically intended for implementation of virtual-labs. They allow easy definition of the virtuallab view (i.e., ...
GREC
2003
Springer
14 years 3 months ago
2003
Springer
This paper presents a vectorisation system based on the use of strategic knowledge. This one is composed of two parts: a processing library and a graphic user interface. Our proces...
IC
2009
13 years 8 months ago
2009
Retrieving information from EHRs that are represented as XML documents is an important aspect for the users of this domain. Such retrieving may lead to some vague queries. There i...
DEBU
2008
13 years 10 months ago
2008
Since the birth of XML, the processing of XML query languages like XQuery/XQueryP has been widely researched in the academic and industrial communities. Most of the approaches con...