4767 search results - page 569 / 954 » Structures for Abstract Rewriting |
180
click to vote
BIRTHDAY
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Petri nets have been widely used to model and analyze concurrent systems. Their wide-spread use in this domain is, on one hand, facilitated by their simplicity and expres...
158
click to vote
CAISE
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. To make effective use of distributed information, it is desirable to allow coordination and collaboration among various information sources. This paper deals with cluster...
182
click to vote
ECAL
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. We propose the use of Deterministic Generalized Asynchronous Random Boolean Networks [1] as models of contextual deterministic discrete dynamical systems. We show that ch...
162
Voted
EMO
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. In this paper, we propose an approach for solving hierarchical multi-objective optimization problems (MOPs). In realistic MOPs, two main challenges have to be considered:...
202
click to vote
FIDJI
2003
Springer
16 years 1 days ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...