1888 search results - page 30 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
124
click to vote
SPAA
2006
ACM
15 years 8 months ago
2006
ACM
Tree contraction algorithms, whose idea was first proposed by Miller and Reif, are important parallel algorithms to implement efficient parallel programs manipulating trees. Desp...
159
Voted
ICCCI
2009
Springer
15 years 7 days ago
2009
Springer
In this paper we introduce a new formalism to represent multi-agent systems where resources can be exchanged among different agents by maximizing the utility of the agents conformi...
147
click to vote
CAINE
2003
15 years 3 months ago
2003
Most distributed real-time embedded systems are specified combining state diagram and data flow languages. This leads to several real-time codes which together do not necessaril...
111
Voted
DICS
2006
15 years 4 months ago
2006
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
106
Voted
DAIS
2010
15 years 4 months ago
2010
Distributed applications are often built from sets of distributed components that must be co-ordinated in order to achieve some global behaviour. The common approach is to use a c...