3348 search results - page 9 / 670 » Around and Around |
52
Voted
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
125
Voted
CONCUR
2007
Springer
15 years 8 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...
72
Voted
COMPGEOM
2004
ACM
15 years 7 months 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...
72
Voted
NORDICHI
2004
ACM
15 years 7 months ago
2004
ACM
100
Voted
MIDDLEWARE
2004
Springer
15 years 7 months 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...