Sciweavers

1746 search results - page 226 / 350
» A Constructive Semantics for ALC
Sort
View
89
Voted
WAIM
2005
Springer
15 years 6 months ago
Understanding User Operations on Web Page in WISE
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...
Hongyan Li, Ming Xue, Jianjun Wang, Shiwei Tang, D...
114
Voted
XSYM
2005
Springer
81views Database» more  XSYM 2005»
15 years 6 months ago
MemBeR: A Micro-benchmark Repository for XQuery
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...
Loredana Afanasiev, Ioana Manolescu, Philippe Mich...
GCC
2005
Springer
15 years 6 months ago
Characterizing Services Composeability and OWL-S Based Services Composition
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...
Zhonghua Yang, Jing-Bing Zhang, Jiao Tao, Robert K...
ADBIS
2004
Springer
111views Database» more  ADBIS 2004»
15 years 6 months ago
A High-Level Language for Specifying XML Data Transformations
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...
Tadeusz Pankowski
TSD
2004
Springer
15 years 6 months ago
Building a Dependency-Based Grammar for Parsing Informal Mathematical Discourse
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...
Magdalena Wolska, Ivana Kruijff-Korbayová