Sciweavers

3091 search results - page 19 / 619
» The Microsoft Relational Engine
Sort
View
111
Voted
EJC
2009
15 years 3 months ago
Ontology Engineering Relationally
Jaroslav Pokorný, Jana Pribolová, Pe...
SIGSOFT
2000
ACM
15 years 10 months ago
COM revisited: tool-assisted modelling of an architectural framework
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
Daniel Jackson, Kevin J. Sullivan
ICSM
2009
IEEE
16 years 8 days ago
Abstracting the template instantiation relation in C++
Andrew Sutton, Ryan Holeman, Jonathan I. Maletic
EMSOFT
2009
Springer
16 years 5 days ago
On relational interfaces
Stavros Tripakis, Ben Lickly, Thomas A. Henzinger,...
109
Voted
TASE
2008
IEEE
16 years 26 min ago
A Relational Model for Confined Separation Logic
Shuling Wang, Luís Soares Barbosa, Jos&eacu...