17 search results - page 1 / 4 » A comparative evaluation of imperative and functional implem... |
ERLANG
2008
ACM
13 years 6 months ago
2008
ACM
HT
2010
ACM
13 years 9 months ago
2010
ACM
We present iMapping, a zooming based approach for visually organizing information objects. It was developed on top of semantic desktop technologies and especially targets the supp...
JCM
2010
13 years 2 months ago
2010
— Explicit congestion control schemes use router feedback to overcome limitations of the standard mechanisms of the Transmission Control Protocol (TCP). These approaches require ...
IFIP
2003
Springer
13 years 9 months ago
2003
Springer
The use of directional antenna in wireless ad hoc networks potentially increases simultaneous communication by directing the transmitting and receiving beams towards the receiver a...
JLP
2006
13 years 4 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...