3348 search results - page 9 / 670 » Around and Around |
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
CONCUR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...
COMPGEOM
2004
ACM
14 years 24 days ago
2004
ACM
We study dynamic self-reconfiguration of modular metamorphic systems. We guarantee the feasibility of motion planning in a rectangular model consisting of square modules that are...
NORDICHI
2004
ACM
14 years 24 days ago
2004
ACM
MIDDLEWARE
2004
Springer
14 years 22 days ago
2004
Springer
In this position paper, we focus on issues related to middleware support for software mobility in ad hoc and pervasive systems. In particular, we are interested in moving the comp...