9974 search results - page 1794 / 1995 » Software Interconnection Models |
136
click to vote
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
105
click to vote
VAMOS
2010
Springer
15 years 4 months ago
2010
Springer
During product configuration, users are prone to make errors because of complexity and lack of system knowledge. Such errors cause conflicts (i.e., incompatible choices selected) a...
147
Voted
DAGSTUHL
2001
15 years 4 months ago
2001
GXL (Graph eXchange Language) is designed to be a standard exchange format for graph-based tools. GXL is defined as an XML sublanguage, which offers support for exchanging instanc...
138
click to vote
ODRL
2004
15 years 4 months ago
2004
The paper describes experiences, ideas, and problems that were discovered while developing a digital rights management (DRM) extension to an XML browser. The supported rights desc...
126
click to vote
TREC
2004
15 years 4 months ago
2004
This paper reports on work done for the Genomics Track at TREC 2004 by ConverSpeech LLC in conjunction with scientists at the Saccharomyces Genome Database (SGD), the model organi...