Sciweavers

133 search results - page 22 / 27
» Market Relations, Non-Market Relations and Free Software
Sort
View
UIST
1997
ACM
15 years 9 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»
16 years 26 days 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
15 years 11 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»
15 years 5 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
15 years 10 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...