4894 search results - page 274 / 979 » Dynamic Abstraction Planning |
169
Voted
PASTE
2004
ACM
16 years 4 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
175
click to vote
FASE
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. To be able to build systems by composing a variety of components dynamically, adding and removing as required, is desirable. Unfortunately systems with evolving architect...
166
click to vote
ICICS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Recently, there is an increase in the number of group communication applications which support multiple service groups of different access privileges. Traditional access...
133
click to vote
ICWE
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Methodologies for the engineering of Web applications typically provide models that drive the generation of the hypermedia navigation structure in the application. Most o...
139
Voted
PPSN
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We introduce the concept of fruitful regions in a dynamic routing context: regions that have a high potential of generating loads to be transported. The objective is to m...