2930 search results - page 196 / 586 » A Constructive Approach to the Design of Distributed Systems |
154
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
This paper presents an approach to integrate publish/subscribe semantics with on-demand multicast in wireless ad hoc networks, providing dynamic group communication with fine-gra...
159
click to vote
CHI
1999
ACM
15 years 8 months ago
1999
ACM
We present TouchCounters, an integrated system of electronic modules, physical storage containers, and shelving surfaces for the support of collaborative physical work. Through ph...
130
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
170
click to vote
KES
2008
Springer
15 years 4 months ago
2008
Springer
Evolutionary techniques provide powerful tools to design novel solutions for hard problems in different areas. However, the problem of scale (i.e. how to create a large, complex s...
113
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...