Sciweavers

913 search results - page 52 / 183
» Full Abstraction for Linda
Sort
View
ICFP
2009
ACM
14 years 3 months ago
Experience report: ocsigen, a web programming framework
The evolution of Web sites towards very dynamic applications makes it necessary to reconsider current Web programming technologies. We believe that Web development would benefit ...
Vincent Balat, Jérôme Vouillon, Boris...
SAC
2009
ACM
14 years 3 months ago
Two lower bounds for self-assemblies at temperature 1
Abstract—Using the Tile Assembly Model proposed by Rothemund and Winfree, we give two lower bounds on the minimum number of tile types needed to uniquely assemble a shape at temp...
Ján Manuch, Ladislav Stacho, Christine Stol...
ICDCN
2009
Springer
14 years 3 months ago
A Mechanism to Structure Mission-Aware Interaction in Mobile Sensor Networks
One of the main appeals of mobile sensors is the variety of environments in which they can operate as an autonomous network. Different environments, however, present different ch...
Michel Charpentier, Radim Bartos, Swapnil Bhatia
DATE
2009
IEEE
176views Hardware» more  DATE 2009»
14 years 3 months ago
Single ended 6T SRAM with isolated read-port for low-power embedded systems
Abstract— This paper presents a six-transistor (6T) singleended static random access memory (SE-SRAM) bitcell with an isolated read-port, suitable for low-Î and low-power embedd...
Jawar Singh, Dhiraj K. Pradhan, Simon Hollis, Sara...
ACNS
2009
Springer
162views Cryptology» more  ACNS 2009»
14 years 3 months ago
Secure Hamming Distance Based Computation and Its Applications
Abstract. This paper examines secure two-party computation of functions which depend only on the Hamming distance of the inputs of the two parties. We present efficient protocols f...
Ayman Jarrous, Benny Pinkas