4761 search results - page 611 / 953 » Performance of Protocols |
195
click to vote
RTSS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
160
click to vote
WMASH
2005
ACM
16 years 9 days ago
2005
ACM
The unprecedented proliferation of wireless networking services and products has taken the notion of hotspots a step further to accommodate “mobile hotspots”. The deployment o...
173
click to vote
AE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Numerical optimization of given objective functions is a crucial task in many real-life problems. The present article introduces an immunological algorithm for continuous...
157
click to vote
ISLPED
2003
ACM
16 years 12 hour ago
2003
ACM
Distributed wireless ad-hoc networks (DWANs) pose numerous technical challenges. Among them, two are widely considered as crucial: autonomous localized operation and minimization ...
172
click to vote
WMI
2001
15 years 8 months ago
2001
Middleware layers placed between user clients and application servers have been used to perform a variety of functions to support the vision of nomadic computing across varying pla...