4693 search results - page 934 / 939 » Verifying Hybrid Systems |
89
Voted
RC
1998
15 years 22 hour ago
1998
Abstract. The epsilon-inflation proved to be useful and necessary in many verification algorithms. Different definitions of an epsilon-inflation are possible, depending on the...
171
Voted
TPDS
2002
15 years 6 hour ago
2002
Call Admission Control (CAC) plays a significant role in providing the desired Quality of Service (QoS) in cellular networks. Traditional CAC schemes that mainly focus on the trade...
123
Voted
TPDS
2002
15 years 6 hour ago
2002
Efficient routing among a set of mobile hosts (also called nodes) is one of the most important functions in ad hoc wireless networks. Routing based on a connected dominating set is...
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
— Mobile robot tipover is a concern as it can create dangerous situations for operators and bystanders, cause collateral damage to the surrounding environment, and result in an a...
108
click to vote
JSAC
2010
14 years 10 months ago
2010
—Inspired by the biological entities’ ability to achieve reciprocity in the course of evolution, this paper considers a conjecture-based distributed learning approach that enab...