1176 search results - page 222 / 236 » Implicit Abstraction Heuristics |
168
Voted
INFOCOM
2006
IEEE
16 years 5 days ago
2006
IEEE
Abstract— When multiple paths are available between communicating hosts, application quality can be improved by switching among them to always use the best one. The key to such a...
173
Voted
INFOCOM
2006
IEEE
16 years 5 days ago
2006
IEEE
nts etc.), an abstract graph of the deployment area and QoS constraints to generate appropriate logical topologies. WIND starts with the set of network elements to be deployed (Nod...
189
Voted
INFOCOM
2006
IEEE
16 years 5 days ago
2006
IEEE
Abstract— To increase reliability and robustness of missioncritical services in the face of routing changes, it is often desirable and beneficial to take advantage of path diver...
214
Voted
WIOPT
2006
IEEE
16 years 5 days ago
2006
IEEE
Abstract— An important application of wireless sensor networks is to perform the monitoring missions, for example, to monitor some targets of interests at all times. Sensors are ...
173
Voted
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...