4592 search results - page 169 / 919 » Framework for Studying Substitution |
SIGSOFT
2008
ACM
15 years 11 months ago
2008
ACM
Using and extending a framework is a challenging task whose difficulty is exacerbated by the poor documentation that generally comes with the framework. Even in the presence of do...
MM
2005
ACM
15 years 3 months ago
2005
ACM
In this paper, we are interested in adaptation mechanisms for the design, creation and experimentation of adaptive and interactive new media artworks. Through a concrete case stud...
SC
2005
ACM
15 years 3 months ago
2005
ACM
The GridFTP extensions to the File Transfer Protocol define a general-purpose mechanism for secure, reliable, high-performance data movement. We report here on the Globus striped ...
87
Voted
CP
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
114
click to vote
DOCENG
2008
ACM
14 years 12 months ago
2008
ACM
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and int...