4894 search results - page 662 / 979 » Dynamic Abstraction Planning |
157
click to vote
ESWS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Recent work in the field of middleware technology proposes semanticsaware tuplespaces as a tool for coping with the scalability, heterogeneity and dynamism issues arisin...
214
click to vote
FAW
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Given a graph G and a nonnegative integer k, the NP-complete Induced Matching problem asks for an edge subset M such that M is a matching and no two edges of M are joined...
176
click to vote
FROCOS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...
162
click to vote
FSEN
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
173
click to vote
GCC
2007
Springer
16 years 28 days ago
2007
Springer
Wide-area distributed systems like computational grids are emergent infrastructures for high-performance parallel applications. On these systems, communication mechanisms have to ...