3824 search results - page 604 / 765 » Geometry Constructions Language |
SEMWEB
2004
Springer
14 years 2 months ago
2004
Springer
Service interface description languages such as WSDL, and related standards, are evolving rapidly to provide a foundation for interoperation between Web services. At the same time,...
VLDB
2004
ACM
14 years 2 months ago
2004
ACM
XML languages, such as XQuery, XSLT and SQL/XML, employ XPath as the search and extraction language. XPath expressions often define complicated navigation, resulting in expensive...
FTDCS
2003
IEEE
14 years 2 months ago
2003
IEEE
There is an increasing need within the Navy and Marine Corps for building distributed situation-aware applications that are rapidly recon gurable and survivable in the face of att...
ICALT
2003
IEEE
14 years 2 months ago
2003
IEEE
The “JavaTM Intelligent Tutoring System” (JITS) research project involves the development of a programming tutor designed for students in their first programming course in Jav...
LICS
2003
IEEE
14 years 2 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...