19798 search results - page 483 / 3960 » Is Structural Subtyping Useful |
120
click to vote
IAT
2007
IEEE
15 years 10 months ago
2007
IEEE
Collaborative tagging systems are becoming very popular recently. Web users use freely-chosen tags to describe shared resources, resulting in a folksonomy. One problem of folksono...
127
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
115
click to vote
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
Combining expressiveness and plainness in the design of web documents is a difficult task. Validation languages are very powerful and designers are tempted to over-design specific...
111
click to vote
MFCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We investigate the structure of the set of gapped motifs (repeated patterns with don’t cares) of a given string of symbols. A natural equivalence classification is int...
136
click to vote
CLUSTER
2006
IEEE
15 years 10 months ago
2006
IEEE
In this article we introduce a grid runtime system called TGrid which is designed to run hierarchically structured task-parallel programs on heterogenous environments and can also...