2028 search results - page 277 / 406 » Deriving Relation Keys from XML Keys |
170
click to vote
CN
2007
15 years 7 months ago
2007
Over the last few years, application-layer multicast (ALM) has emerged as a plausible solution for supporting group-oriented applications. However, ALM suffers from inefficiency ...
164
click to vote
IIE
2006
15 years 7 months ago
2006
We examine the precision with which the cumulative score from a suite of test cases ranks participants in the International Olympiad in Informatics (IOI). Our concern is the abilit...
192
Voted
ENTCS
2007
15 years 7 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
213
Voted
MST
2006
15 years 7 months ago
2006
We consider the transition graphs of regular ground tree (or term) rewriting systems. The vertex set of such a graph is a (possibly infinite) set of trees. Thus, with a finite tree...
177
click to vote
IIE
2007
15 years 6 months ago
2007
This article presents an approach to using open-source tools and open-source projects to add realistic and practical examples to a course on software design in a professional maste...