Sciweavers

3328 search results - page 479 / 666
» On Plateaued Functions and Their Constructions
Sort
View
CANDC
2009
ACM
16 years 1 months ago
BodyDaemon
This paper introduces the idea of actualizing theory in the context of artistic practice. We describe the project BodyDaemon and its function as a technology-based artwork that is...
Carlos Castellanos, Thecla Schiphorst
FOAL
2009
ACM
16 years 1 months ago
A machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
Benjamin Delaware, William R. Cook, Don S. Batory
MOBIDE
2009
ACM
16 years 1 months ago
MobiSNA: a mobile video social network application
This paper presents MobiSNA – a mobile video social networking application that supports the exploration, sharing, and creation of video contents through social networks. The Mo...
Liang Gou, Jung-Hyun Kim, Hung-Hsuan Chen, Jason C...
SIGCOMM
2009
ACM
16 years 1 months ago
Epothecary: cost-effective drug pedigree tracking and authentication using mobile phones
Counterfeit and expired pharmaceuticals are a significant problem in the developing world, constituting up to 80% of stock on pharmacy shelves. This is due both to poor existing ...
Michael Paik, Jay Chen, Lakshminarayanan Subramani...
WEA
2010
Springer
397views Algorithms» more  WEA 2010»
16 years 1 months ago
A New Combinational Logic Minimization Technique with Applications to Cryptology
Abstract. A new technique for combinational logic optimization is described. The technique is a two-step process. In the first step, the nonlinearity of a circuit – as measured ...
Joan Boyar, René Peralta