3091 search results - page 281 / 619 » The Microsoft Relational Engine |
202
click to vote
FASE
2005
Springer
16 years 6 days ago
2005
Springer
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...
179
click to vote
ICMI
2005
Springer
16 years 5 days ago
2005
Springer
This paper presents Latent Semantic Googling, a variant of Landauer’s Latent Semantic Indexing that uses the Google search engine to judge the semantic closeness of sets of word...
165
click to vote
VLDB
2005
ACM
16 years 4 days ago
2005
ACM
Popular XML languages, like XPath, use “treepattern” queries to select nodes based on their structural characteristics. While many processing methods have already been propose...
187
click to vote
VMCAI
2005
Springer
16 years 4 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
211
click to vote
IUI
2004
ACM
16 years 3 days ago
2004
ACM
People are performing increasingly complicated actions on the web, such as automated purchases involving multiple sites. Things often go wrong, however, and it can be difficult to...