8413 search results - page 1028 / 1683 » Ordering Problem Subgoals |
207
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
Traditional IP Multicast has been proposed in order to manage group communications over the Internet in a bandwidth efficient manner. Although this proposition has been well studie...
212
click to vote
FASE
2009
Springer
15 years 11 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
190
click to vote
DASFAA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. The suppression scheme is a solution for limited energy constraints in sensor networks. Temporal suppression, spatial suppression and spatio-temporal suppression are prop...
221
click to vote
ARCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...
222
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
The coalition formation process, in which a number of independent, autonomous agents come together to act as a collective, is an important form of interaction in multiagent system...