1115 search results - page 51 / 223 » An Abstract Look at Realizability |
WMTE
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper reports the results of a laboratory study of a proposed solution to the problem of coordinating entry into collaborative activity while protecting the privacy and contr...
CSL
2004
Springer
14 years 1 months ago
2004
Springer
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...
CSMR
2003
IEEE
14 years 28 days ago
2003
IEEE
The paper addresses two problems in software maintenance. Firstly, some maintenance tasks require modifications of the grammar. A change in a grammar can make syntax and transfor...
SPLC
2008
13 years 9 months ago
2008
Domain analysis involves not only looking at standard requirements documents (e.g., use case specifications) but also at customer information packs, market analyses, etc. Looking ...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. The growing popularity of online social networks gave researchers access to large amount of network data and renewed interest in methods for automatic community detection...