1413 search results - page 50 / 283 » Bisimilarity of Open Terms |
84
Voted
WWW
2003
ACM
16 years 1 months ago
2003
ACM
The World-Wide Web was originally developed as a shared, writable, hypertext medium, a facility that is still widely needed. We have recently developed a Web-based management repo...
98
Voted
MSR
2006
ACM
15 years 6 months ago
2006
ACM
Open Source Software (OSS) projects provide a unique opportunity to gather and analyze publicly available historical data. The Postgres SQL server, for example, has over seven yea...
122
Voted
MOBICOM
2006
ACM
15 years 6 months ago
2006
ACM
In this paper, architectures for two-dimensional and three-dimensional underwater sensor networks are discussed. A detailed overview on the current solutions for medium access con...
93
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we investigate two related aspects of the formalization of open interaction systems: how to specify norms, and how to enforce them by means of sanctions. The problem...
167
Voted
SIGMOD
2012
ACM
13 years 3 months ago
2012
ACM
Computational experiments have become an integral part of the scientific method, but reproducing, archiving, and querying them is still a challenge. The first barrier to a wider...