5451 search results - page 748 / 1091 » Typed Operational Semantics |
204
click to vote
ISPAN
2002
IEEE
15 years 11 months ago
2002
IEEE
Index is an important element in databases, and the existence of index is unavoidable. When an index has been built on a particular attribute, database operations (e.g. selection,...
161
click to vote
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
While many theoretical arguments against or in favor of open source and closed source software development have been presented, the empirical basis for the assessment of arguments...
161
Voted
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
A common vocabulary is vital to smooth business operation, yet codifying and maintaining an enterprise vocabulary is an arduous, manual task. We describe a process to automatically...
182
click to vote
BTW
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We propose a scaleable multi-user benchmark called XMach-1 (XML Data Management benchmark) for evaluating the performance of XML data management systems. It is based on a...
174
click to vote
EUROCAST
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper introduces a higher-order lazy narrowing calculus (HOLN for short) that solves higher-order equations over the domain of simply typed λ-terms. HOLN is an exte...