Sciweavers

1403 search results - page 203 / 281
» On Communication in Solving Distributed Constraint Satisfact...
Sort
View
CCGRID
2003
IEEE
15 years 3 months ago
A Parallel FPT Application For Clusters
Fixed-parameter tractability (FPT) techniques have recently been successful in solving NP-complete problem instances of practical importance which were too large to be solved with...
James Cheetham, Frank K. H. A. Dehne, Andrew Rau-C...
CADE
2011
Springer
13 years 9 months ago
Deciding Security for Protocols with Recursive Tests
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
Mathilde Arnaud, Véronique Cortier, St&eacu...
CLUSTER
2004
IEEE
14 years 9 months ago
Resource Management for Ad-Hoc Wireless Networks with Cluster Organization
Boosted by technology advancements, government and commercial interest, ad-hoc wireless networks are emerging as a serious platform for distributed mission-critical applications. G...
Ionut Cardei, Srivatsan Varadarajan, Allalaghatta ...
SIGCOMM
2005
ACM
15 years 3 months ago
Meridian: a lightweight network location service without virtual coordinates
This paper introduces a lightweight, scalable and accurate framework, called Meridian, for performing node selection based on network location. The framework consists of an overla...
Bernard Wong, Aleksandrs Slivkins, Emin Gün S...
INFOCOM
2002
IEEE
15 years 2 months ago
Video Multicast in (Large) Local Area Networks
— We consider the problem of distributing high-quality video signals over IP multicast in large Local Area Networks (LANs), under realtime delay constraints, and with software-on...
Sergio D. Servetto, Rohit Puri, Jean-Paul Wagner, ...