1566 search results - page 70 / 314 » Topological spaces of the web |
155
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established pract...
162
click to vote
TOIT
2008
15 years 6 months ago
2008
s exhibits diversity in the real world, mental abstraction world, document world, and machine world. Studying mappings between different forms of semantics helps unveil the uniform...
107
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
In this paper we investigate the co-authorship graph obtained from all papers published at SIGMOD between 1975 and 2002. We find some interesting facts, for instance, the identity...
166
click to vote
CSE
2009
IEEE
16 years 29 days ago
2009
IEEE
— Social interaction history refers to traces of social interaction in information spaces. These traces have potential to help users explore and navigate through information spac...
159
click to vote
SPIN
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. We present Beem — BEnchmarks for Explicit Model checkers. This benchmark set includes more than 50 parametrized models (300 concrete instances) together with their corr...