8810 search results - page 169 / 1762 » Open. Closed. Open |
186
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...
166
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
In previous work, a new approach called Open CSP (OCSP) was defined as a way of integrate information gathering and problem solving. Instead of collecting all variable values befor...
179
click to vote
ECCE
2007
15 years 8 months ago
2007
Motivation – This research aims at investigating emerging roles and forms of participation fostering design-use mediation during the Open Source Software design process Research...
168
click to vote
ELPUB
2008
ACM
15 years 8 months ago
2008
ACM
A key parameter in any discussions about the academic peer reviewed journal system is the number of articles annually published. Several diverging estimates of this parameter have...
164
click to vote
ELPUB
2008
ACM
15 years 8 months ago
2008
ACM
It has been noted that one of the potential benefits of Open Access is the increase in visibility for research output from less developed countries. However little is known about ...