Sciweavers

18429 search results - page 261 / 3686
» Typing dynamic typing
Sort
View
XSYM
2005
Springer
84views Database» more  XSYM 2005»
16 years 3 days ago
Patterns and Types for Querying XML Documents
Among various proposals for primitives for deconstructing XML data two approaches seem to clearly stem from practise: path expressions, widely adopted by the database community, an...
Giuseppe Castagna
XIMEP
2004
ACM
74views Database» more  XIMEP 2004»
16 years 1 days ago
Schema Validation and Type Annotation for Encoded Trees
We argue that efficient support for schema validation and type annotation in XQuery processors deserves as much attention as efficient evaluation techniques for XPath queries have...
Torsten Grust, Stefan Klinger
AMAST
2004
Springer
16 years 1 days ago
Behavioural Types and Component Adaptation
Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering. The objective of this paper is to set a formal foundation for t...
Antonio Brogi, Carlos Canal, Ernesto Pimentel
ATAL
2004
Springer
16 years 1 days ago
Effectiveness of Query Types and Policies for Preference Elicitation in Combinatorial Auctions
Combinatorial auctions, where agents can bid on bundles of items (resources, tasks, etc.), are desirable because the agents can express complementarity and substitutability among ...
Benoît Hudson, Tuomas Sandholm
IPTPS
2004
Springer
15 years 12 months ago
Rapid Mobility via Type Indirection
Economies of scale and advancements in wide-area wireless networking are leading to the availability of more small, networked mobile devices, placing higher stress on existing mob...
Ben Y. Zhao, Ling Huang, Anthony D. Joseph, John K...