Sciweavers

4894 search results - page 284 / 979
» Dynamic Abstraction Planning
Sort
View
AH
2006
Springer
16 years 22 days ago
Combining Adaptive Hypermedia Techniques and Ontology Reasoning to Produce Dynamic Personalized News Services
Abstract. Applying traditional Adaptive Hypermedia techniques to the personalization of news can pose a number of problems. The first main difficulty is the fact that news is inher...
Owen Conlan, Ian O'Keeffe, Shane Tallon
INTERSENSE
2006
ACM
16 years 21 days ago
A context-aware middleware platform for autonomous application services in dynamic wireless networks
— Dynamic wireless networks, and especially mobile ad hoc networks, impose new constraints regarding the design and the implementation of service-oriented middleware platforms de...
Nicolas Le Sommer, Frédéric Guidec, ...
BERTINORO
2005
Springer
16 years 8 days ago
Self-Management of Virtual Paths in Dynamic Networks
Abstract Virtual path management in dynamic networks poses a number of challenges related to combinatorial optimisation, fault and traffic handling. Ideally such management should ...
Poul E. Heegaard, Otto Wittner, Bjarne E. Helvik
CONCUR
2005
Springer
16 years 8 days ago
Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
Ahmed Bouajjani, Markus Müller-Olm, Tayssir T...
FM
2005
Springer
112views Formal Methods» more  FM 2005»
16 years 8 days ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...