4767 search results - page 351 / 954 » Structures for Abstract Rewriting |
148
click to vote
PAM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper studies the problems related to mobile connectivity on a wireless environment with Mobile IPv6, specially the handover, which is the most critical part. The ma...
153
click to vote
VSTTE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
187
click to vote
ACRI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This paper reviews the history of embedded, evolvable selfreplicating structures implemented as cellular automata systems. We relate recent advances in this field to the...
157
click to vote
ANTSW
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We present in this paper, a new model for document hierarchical clustering, which is inspired from the self-assembly behavior of real ants. We have simulated the way ants...
146
click to vote
ANTSW
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. The building behaviour of termites has previously been modelled mathematically in two dimensions. However, physical and logistic constraints were not taken into account i...