1306 search results - page 13 / 262 » A Diagrammatic Approach to Model Completion |
100
click to vote
ER
2007
Springer
15 years 6 months ago
2007
Springer
Today, there are several approaches supporting an integrated processing of XML and (object-)relational data sources. However, each of these approaches favors a single data model f...
87
Voted
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Abbreviation Completion is a novel technique to improve the efficiency of code-writing by supporting code completion of multiple keywords based on non-predefined abbreviated inp...
137
click to vote
CBSQ
2003
Springer
15 years 5 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
117
click to vote
AMAST
2008
Springer
15 years 2 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
116
Voted
TLCA
2009
Springer
15 years 7 months ago
2009
Springer
Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefsc...