3713 search results - page 562 / 743 » Constructing a Calculus of Programs |
106
click to vote
WAIM
2005
Springer
15 years 8 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...
138
click to vote
ADBIS
2004
Springer
15 years 8 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...
133
click to vote
EKAW
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes a particular knowledge acquisition tool for the construction and maintenance of the knowledge model of an intelligent system for emergency management in the fi...
114
click to vote
ICALP
2004
Springer
15 years 8 months ago
2004
Springer
We show that strictly positive inductive types, constructed from polynomial functors, constant exponentiation and arbitrarily nested inductive types exist in any Martin-L¨of categ...
114
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
: The Mediator EnvirOnment for Multiple Information Sources (MOMIS) aims at constructing synthesized, integrated descriptions of the information coming from multiple heterogeneous ...