9821 search results - page 1672 / 1965 » A Framework for the Development of Protocols |
196
click to vote
PODS
2010
ACM
15 years 11 months ago
2010
ACM
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...
184
click to vote
WWIC
2010
Springer
15 years 11 months ago
2010
Springer
Many cell-phones and Personal Digital Assistants (PDAs) are equipped with multiple radio interfaces. Because of this, devices need to have ways of efficiently selecting the most su...
167
Voted
CA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a new method for editing an existing motion to satisfy a set of user-specified constraints, and in doing so guaranteeing the kinematic and dynamic soundness o...
170
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. Consequently, a number of associated models and languages have been pr...
241
Voted
FOCS
2002
IEEE
15 years 11 months ago
2002
IEEE
The Constraint Satisfaction Problem (CSP) provides a common framework for many combinatorial problems. The general CSP is known to be NP-complete; however, certain restrictions on...