86 search results - page 5 / 18 » A Classical Realizability Model for a Semantical Value Restr... |
ER
2007
Springer
15 years 3 months ago
2007
Springer
XML Schema supports the specification of occurrence constraints by declaring values for its min/maxOccurs attributes. These constraints are structural in the sense that they rest...
ECAI
1994
Springer
15 years 1 months ago
1994
Springer
This paper describes a computational model of similarity developed to support analogical software reuse. Similarity is computed from conceptual descriptions of software artifacts o...
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
103
click to vote
KDD
2004
ACM
15 years 2 months ago
2004
ACM
Semantic understanding of multimedia content is critical in enabling effective access to all forms of digital media data. By making large media repositories searchable, semantic ...
178
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...