1746 search results - page 226 / 350 » A Constructive Semantics for ALC |
120
click to vote
WAIM
2005
Springer
15 years 10 months ago
2005
Springer
Unlike Internet portals, a typical Web Information System contains lots of user operations. However, existing Web design frameworks focus exclusively on data presentation: the proc...
140
click to vote
XSYM
2005
Springer
15 years 10 months ago
2005
Springer
XQuery is a feature-rich language with complex semantics. This makes it hard to come up with a benchmark suite which covers all performance-critical features of the language, and a...
141
click to vote
GCC
2005
Springer
15 years 10 months ago
2005
Springer
Grid has emerged as a new paradigm for integration within dynamic virtual enterprises. Given a service-oriented Grid environment, more complex, value-added sophisticated services a...
147
click to vote
ADBIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We propose a descriptive high-level language XDTrans devoted to specify transformations over XML data. The language is based on unranked tree automata approach. In contra...
123
Voted
TSD
2004
Springer
15 years 10 months ago
2004
Springer
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded formal expressions. Little is known about the suitabil...