494 search results - page 19 / 99 » Declarative extensions of XML languages |
SEDE
2007
13 years 9 months ago
2007
Math search is a new area of research with many enabling technologies but also many challenges. Some of the enabling technologies include XML, XPath, XQuery, and MathML. Some of t...
ECIS
2000
13 years 8 months ago
2000
: Only about 5% of the companies which could profit from EDI actually use it. The main reason is that especially small and medium-sized enterprises (SMEs) try to avoid the consider...
MKM
2009
Springer
14 years 2 months ago
2009
Springer
This paper presents a proof language based on the work of Sacerdoti Coen [1,2], Kirchner [3] and Autexier [4] on ¯λµ˜µ, a calculus introduced by Curien and Herbelin [5,6]. Jus...
VLDB
2008
ACM
14 years 7 months ago
2008
ACM
Recent IR extensions to XML query languages
CCS
2003
ACM
14 years 23 days ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...