Sciweavers

56 search results - page 6 / 12
» Design of a performance technology infrastructure to support...
Sort
View
AUIC
2002
IEEE
14 years 9 days ago
The Tinmith System - Demonstrating New Techniques for Mobile Augmented Reality Modelling
This paper presents user interface technology, using a glove based menuing system and 3D interaction techniques. It is designed to support applications that allow users to constru...
Wayne Piekarski, Bruce H. Thomas
CAV
2005
Springer
173views Hardware» more  CAV 2005»
14 years 27 days ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
CSCW
2004
ACM
14 years 23 days ago
Return on investment and organizational adoption
This paper considers the complexity of measuring the return on investment for technology adoption. A brief case study of technology adoption in a large design and construction fir...
Jonathan Grudin
CIKM
2001
Springer
13 years 12 months ago
PowerDB-IR - Information Retrieval on Top of a Database Cluster
Our current concern is a scalable infrastructure for information retrieval (IR) with up-to-date retrieval results in the presence of frequent, continuous updates. Timely processin...
Torsten Grabs, Klemens Böhm, Hans-Jörg S...
WWW
2001
ACM
14 years 8 months ago
Communication design for electronic negotiations on the basis of XML schema
Representation of negotiations in electronic markets and their support are important issues in today's e-commerce research. Whereas most activities are focused on automation ...
Michael Ströbel