4761 search results - page 611 / 953 » Performance of Protocols |
169
Voted
RTSS
1997
IEEE
15 years 9 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....
123
Voted
WMASH
2005
ACM
15 years 10 months 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...
140
click to vote
AE
2005
Springer
15 years 10 months 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...
119
click to vote
ISLPED
2003
ACM
15 years 10 months 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 ...
135
click to vote
WMI
2001
15 years 6 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...