5707 search results - page 1131 / 1142 » Symbolic Simulation - Techniques and Applications |
PPDP
2010
Springer
13 years 6 months ago
2010
Springer
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
SECON
2010
IEEE
13 years 6 months ago
2010
IEEE
Interference model is the basis of MAC protocol design in wireless networks, and it directly affects the efficiency and predictability of wireless messaging. To exploit the strengt...
ADHOCNOW
2009
Springer
13 years 6 months ago
2009
Springer
Broadcasting is a commonly used feature in wireless networking, e.g. for file distribution, re-tasking, event notification, or miscellaneous maintenance. Due to the limited resourc...
CDC
2009
IEEE
13 years 6 months ago
2009
IEEE
based on extended set-membership filter (ESMF) and the path planning method in relative velocity coordinates (RVCs), a new 3D multiple Unmanned Aerial Vehicle (UAV) systems active ...
ICNP
2009
IEEE
13 years 6 months ago
2009
IEEE
Abstract--IP multicast applications such as live lecture broadcasts are being increasingly used in enterprise and campus networks. In many cases, end hosts access these multicast s...