11345 search results - page 10 / 2269 » Foundations of Computer Science |
118
click to vote
RELMICS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A Concurrent Kleene Algebra offers two composition operators, one that stands for sequential execution and the other for concurrent n [10]. In this paper we investigate ...
128
click to vote
GROUP
2009
ACM
15 years 10 months ago
2009
ACM
As a foundation for the design of groupware, we need a new science of group interaction, a systematic description of the processes at the group level of description that may contr...
163
click to vote
CCGRID
2007
IEEE
15 years 10 months ago
2007
IEEE
The “CyberBridges” pilot project is an innovative model for creating a new generation of scientists and engineers who are capable of fully integrating cyberinfrastructure into...
173
click to vote
ITICSE
2006
ACM
15 years 10 months ago
2006
ACM
Often Software Engineering courses approach educating undergraduates in good processes and practices by using a simulated product development environment, following all of the ste...
155
Voted
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...