Sciweavers

3365 search results - page 242 / 673
» Digital System Design: Architectures, Methods and Tools
Sort
View
CHI
2009
ACM
15 years 4 months ago
Interaction programming: next steps
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...
Harold W. Thimbleby
DBVIS
1995
162views Database» more  DBVIS 1995»
15 years 10 months ago
LadMan: A Large Data Management System
More and more of our customers have to deal with very large datasets like elevation data and digital roadmaps covering Europe or even the entire world, very large images e.g. from...
Walter Schmeing
SEFM
2007
IEEE
16 years 27 days ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...
WCE
2007
15 years 7 months ago
The Jacobi Method in Reconfigurable Hardware
—Linear equations provide useful tools for understanding the behavior of a wide variety of phenomena— from science and engineering to social sciences. A number of techniques ha...
Safaa J. Kasbah, Issam W. Damaj
CHI
2006
ACM
16 years 7 months ago
Sashay: designing for wonderment
No longer confined to our offices, schools, and homes, technology is expanding at an astonishing rate across our everyday public urban landscapes. From the visible (mobile phones,...
Eric Paulos, Chris Beckmann