Sciweavers

133 search results - page 22 / 27
» Market Relations, Non-Market Relations and Free Software
Sort
View
UIST
1997
ACM
13 years 11 months ago
Interactive Beautification: A Technique for Rapid Geometric Design
We propose interactive beautification, a technique for rapid geometric design, and introduce the technique and its algorithm with a prototype system Pegasus. The motivation is to ...
Takeo Igarashi, Satoshi Matsuoka, Sachiko Kawachiy...
TEI
2010
ACM
108views Hardware» more  TEI 2010»
14 years 2 months ago
Cartouche: conventions for tangibles bridging diverse interactive systems
We describe an approach for a class of tangible interaction elements that are applicable across a broad variety of interactive systems. These tangibles share certain physical, vis...
Brygg Ullmer, Zachary Dever, Rajesh Sankaran, Corn...
DIGRA
2005
Springer
14 years 1 months ago
"Have Fun Working with Our Product!": Critical Perspectives On Computer Game Mod Competitions
This paper suggests that the digital games industry products are not limited to games-related hardware and software or the related spin-off industry products. Further, consumers â...
Olli Sotamaa
CN
2002
96views more  CN 2002»
13 years 7 months ago
A transparent deployment method of RSVP-aware applications on UNIX
This paper proposes a method, called RLR (RSVP (Resource reSerVation Protocol) library redirection), which can transform legacy Internet applications into RSVP-aware applications ...
Yu-Ben Miao, Wen-Shyang Hwang, Ce-Kuen Shieh
CADE
1998
Springer
13 years 12 months ago
System Description: card TAP: The First Theorem Prover on a Smart Card
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
Rajeev Goré, Joachim Posegga, Andrew Slater...