Sciweavers

8499 search results - page 105 / 1700
» cans 2009
Sort
View
TEI
2009
ACM
107views Hardware» more  TEI 2009»
15 years 7 months ago
Tactful interaction: exploring interactive social touch through a collaborative tangible installation
How do tangible systems take advantage of our sociophysical embodiment in the world? How can we use tangible interaction to better understand collaboration and intersubjectivity? ...
Bruno Nadeau, Amanda Williams
TEI
2009
ACM
111views Hardware» more  TEI 2009»
15 years 7 months ago
Stick, Click n' Call: self-adhesive pressure-activated RFID tags for mobile phones
This paper describes a new interaction concept, which is based on customizable self-adhesive stickers with an integrated button, manufacturable at low cost. By pressing the button...
Fabian Hemmert, André Knörig, Gesche J...
BIRTHDAY
2009
Springer
15 years 7 months ago
On Lazy Commutation
Abstract. We investigate combinatorial commutation properties for reordering a sequence of two kinds of steps, and for separating wellfoundedness of unions of relations. To that en...
Nachum Dershowitz
ESOP
2009
Springer
15 years 7 months ago
Minimization Algorithm for Symbolic Bisimilarity
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
Filippo Bonchi, Ugo Montanari
FSE
2009
Springer
107views Cryptology» more  FSE 2009»
15 years 7 months ago
Multidimensional Extension of Matsui's Algorithm 2
Matsui’s one-dimensional Alg. 2 can be used for recovering bits of the last round key of a block cipher. In this paper a truly multidimensional extension of Alg. 2 based on estab...
Miia Hermelin, Joo Yeon Cho, Kaisa Nyberg