3091 search results - page 187 / 619 » The Microsoft Relational Engine |
146
click to vote
AMAST
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we give an operational and denotational semantics for a 3APL meta-language, with which various 3APL interpreters can be programmed. We moreover prove equiv...
158
click to vote
CLEF
2004
Springer
15 years 12 months ago
2004
Springer
For our fourth participation in the CLEF evaluation campaigns, our first objective was to propose an effective and general stopword list and a light stemming procedure for the Port...
168
click to vote
SCAM
2003
IEEE
15 years 11 months ago
2003
IEEE
One of the critiques on program slicing is that slices presented to the user are hard to understand. This is partly due to bad user interfaces, but mainly related to the problem t...
160
click to vote
WCRE
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper promotes the use of a mathematical concept lattice based upon the binary relation of accesses between methods and fields as a novel visualization of individual JAVA cl...
141
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
This chapter is to provide a tutorial and pointers to results and related work on timed automata with a focus on semantical and algorithmic aspects of verification tools. We prese...