1566 search results - page 70 / 314 » Topological spaces of the web |
102
Voted
SIGSOFT
2007
ACM
16 years 1 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...
110
Voted
TOIT
2008
15 years 20 days 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...
58
Voted
SIGMOD
2003
ACM
16 years 28 days 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...
112
Voted
CSE
2009
IEEE
15 years 7 months 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...
93
Voted
SPIN
2007
Springer
15 years 6 months 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...