4693 search results - page 110 / 939 » Verifying Hybrid Systems |
140
click to vote
DEXA
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. There is a significant commercial and research interest in locationbased web search engines. Given a number of search keywords and one or more locations that a user is in...
111
Voted
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— This paper presents an analytical model for the analysis of Hybrid ARQ techniques on Discrete Time Markov Channels by means of Markov chains. The first contribution is an orig...
127
Voted
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...
87
Voted
JLP
2006
15 years 20 days ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
99
Voted
CNSR
2006
IEEE
15 years 6 months ago
2006
IEEE
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...