1412 search results - page 187 / 283 » Experience Prototyping |
VLDB
2007
ACM
14 years 8 months ago
2007
ACM
We present STAR, a self-tuning algorithm that adaptively sets numeric precision constraints to accurately and efficiently answer continuous aggregate queries over distributed data...
ICFP
2006
ACM
14 years 8 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
PERCOM
2005
ACM
14 years 7 months ago
2005
ACM
The Session Initiation Protocol (SIP) has been widely adopted for Instant Messaging (IM) and VoIP telephony both by the enterprise and in service provider systems. Till now, SIP f...
PERCOM
2003
ACM
14 years 7 months ago
2003
ACM
Abstract. We present our results of the conceptual design and the implementation of ubiquitous computing applications using smart identification technologies. First, we describe su...
EUROGRAPHICS
2010
Eurographics
14 years 5 months ago
2010
Eurographics
Papercraft models can serve as inexpensive prototypes in shape design applications. However, in making the models some geometric detail is necessarily lost, and artificial crease...