10271 search results - page 1738 / 2055 » Computer Science |
187
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The objective of this research is to analyse the ways members of open-source software communities participate in design. In particular we focus on how users of an Open Source (OS) ...
178
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We show that it is equivalent, for certain sets of finite graphs, to be definable in CMS (counting monadic second-order, a natural extension of monoadic second-order logic), and t...
186
click to vote
ENTCS
2006
15 years 6 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
144
click to vote
ENTCS
2006
15 years 6 months ago
2006
nary abstract) Jan Friso Groote 1 MohammadReza Mousavi 2 Michel A. Reniers 3 Department of Computer Science, Eindhoven University of Technology (TU/e), P.O. Box 513, NL-5600 MB Ein...
183
click to vote
IPM
2008
15 years 6 months ago
2008
The presentation of search results on the web has been dominated by the textual form of document representation. On the other hand, the document's visual aspects such as the ...