Sciweavers

882 search results - page 165 / 177
» Dynamic simulation for time series modeling
Sort
View
108
Voted
AIPS
2008
15 years 2 months ago
A Temporal Logic-Based Planning and Execution Monitoring System
As no plan can cover all possible contingencies, the ability to detect failures during plan execution is crucial to the robustness of any autonomous system operating in a dynamic ...
Jonas Kvarnström, Fredrik Heintz, Patrick Doh...
123
Voted
FMOODS
2007
15 years 1 months ago
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
SNPD
2007
15 years 1 months ago
OnRipple: A Distributed Overlay Framework for Targeted Immunization in Large-Scale Networks
Targeted Immunization has been researched as an applicable measure for network epidemics. Unless global information is collected, existing targeted strategies are short of strengt...
Sirui Yang, Hai Jin, Xiaofei Liao, Hong Yao
81
Voted
NSDI
2004
15 years 1 months ago
Structure Management for Scalable Overlay Service Construction
This paper explores the model of providing a common overlay structure management layer to assist the construction of large-scale wide-area Internet services. To this end, we propo...
Kai Shen
77
Voted
WCE
2007
15 years 25 days ago
Exploring the Interdependencies among Communication, Knowledgeability and Performance of Multi-agent Systems
— The advent of ubiquitous computing has revolutionized distributed Multi-agent systems (MAS). Consequently, there are many software projects focusing on MASs. However, its succe...
Punam Bedi, Vibha Gaur