5550 search results - page 219 / 1110 » Different Approaches to Proof Systems |
183
click to vote
MIDDLEWARE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The emergence of handheld devices associated with wireless technologies has introduced new challenges for middleware. First, mobility is becoming a key characteristic; mo...
214
click to vote
CEC
2011
IEEE
14 years 6 months ago
2011
IEEE
—In many systems providing storage and retrieval operations on data, indices are used to make these operations more efficient. Distributed storage systems provide means to distr...
110
click to vote
ICC
2007
IEEE
16 years 27 days ago
2007
IEEE
— In this paper the use of electronically steerable passive array radiator (ESPAR) antennas is introduced for achieving increased spectral efficiency characteristics in multiple-...
186
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— In this paper, a novel switching controller is proposed for a networked visual servo control system with varying feedback delay due to image processing and data transmission. T...
185
click to vote
ICDCSW
2005
IEEE
16 years 5 days ago
2005
IEEE
Today’s multimedia environments are characterized by different stationary and a growing number of mobile devices, like PDAs or even mobile phones. To meet their requirements reg...