3091 search results - page 187 / 619 » The Microsoft Relational Engine |
154
Voted
AMAST
2004
Springer
16 years 14 days 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...
170
click to vote
CLEF
2004
Springer
16 years 14 days 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...
183
click to vote
SCAM
2003
IEEE
16 years 10 days 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...
176
Voted
WCRE
2003
IEEE
16 years 10 days 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...
152
click to vote
AC
2003
Springer
16 years 9 days 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...