11345 search results - page 2060 / 2269 » Foundations of Computer Science |
145
click to vote
CONCURRENCY
2006
15 years 3 months ago
2006
In this paper we propose a Grid Workflow Infrastructure, which serves as the base for specifying and executing collaborative interactive workflows within computational grids. The ...
145
click to vote
CORR
2006
Springer
15 years 3 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) ...
132
click to vote
CORR
2006
Springer
15 years 3 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...
131
click to vote
ENTCS
2006
15 years 3 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...
101
click to vote
ENTCS
2006
15 years 3 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...