4233 search results - page 540 / 847 » Three Paths to Effectiveness |
205
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Applications such as layered manufacturing, or in general, solid free-form fabrication, pose a major challenge on online process control. For these parts to be functional, it is i...
198
click to vote
ASE
2005
15 years 6 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
180
click to vote
CCR
2005
15 years 6 months ago
2005
Today's data networks are surprisingly fragile and difficult to manage. We argue that the root of these problems lies in the complexity of the control and management planes--...
240
click to vote
ADHOC
2004
15 years 6 months ago
2004
In this paper, we study a new multicast paradigm for large scale mobile ad hoc networks, namely team multicast. In team multicast the multicast group does not consist of individua...
154
click to vote
ENTCS
2002
15 years 6 months ago
2002
Splay trees, a form of self-adjusting binary tree, were introduced by Sleator and Tarjan in the early 1980s. Their main use is to store ordered lists. The idea is to keep the tree...