2958 search results - page 434 / 592 » Extending and Implementing RASP |
117
click to vote
AUIC
2004
IEEE
15 years 7 months ago
2004
IEEE
Mixed Presence Groupware (MPG) supports both colocated and distributed participants working over a shared visual workspace. It does this by connecting multiple single-display grou...
196
click to vote
BIOADIT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In mobile ad-hoc networks, nodes act both as terminals and information relays, and participate in a common routing protocol, such as Dynamic Source Routing (DSR). The net...
140
click to vote
BROADNETS
2004
IEEE
15 years 7 months ago
2004
IEEE
Traditionally, the routing problem is addressed at the network layer, an approach that has been extended to the wireless realm. In wireless multihop networks, however, strict laye...
132
click to vote
CGO
2004
IEEE
15 years 7 months ago
2004
IEEE
Static Single Assignment form is an intermediate representation that uses instructions to merge values at each confluent point of the control flow graph. instructions are not ma...
163
click to vote
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...