4693 search results - page 125 / 939 » Verifying Hybrid Systems |
158
click to vote
JSAC
2010
15 years 3 months ago
2010
—To reserve or not for bursty video traffic over wireless access networks has been a long-debated issue. For uplink transmissions in infrastructure-based wireless networks and p...
208
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— An effective method is presented for position tracking of a moving mobile terminal (MT). The method is based on time/distance difference of arrival (TDOA) estimation an...
139
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
153
click to vote
DLOG
1997
15 years 6 months ago
1997
Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...
153
click to vote
DCC
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper deals with generic transformations from ID-based key encapsulation mechanisms (IBKEM) to hybrid public-key encryption (PKE). The best generic transformation known until...