Sciweavers

1412 search results - page 52 / 283
» Experience Prototyping
Sort
View
MHCI
2007
Springer
15 years 3 months ago
Incidental information and mobile search
There is much interest in providing effective mobile search tools. Our focus is the value of in situ sharing of users’ mobile search activity. The QnotA prototype displays other...
David Arter, George Buchanan, Matt Jones, Richard ...
ICCS
2003
Springer
15 years 3 months ago
Automated Generation of Kinetic Chemical Mechanisms Using Rewriting
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...
Olivier Bournez, Guy-Marie Côme, Valé...
KBSE
1998
IEEE
15 years 2 months ago
An Automated Framework for Structural Test-Data Generation
Structural testing criteria are mandated in many software development standards and guidelines. The process of generating test-data to achieve 100 coverage of a given structural c...
Nigel Tracey, John A. Clark, Keith Mander, John A....
KR
2004
Springer
15 years 3 months ago
A Logic of Motion
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
Fusun Yaman, Dana S. Nau, V. S. Subrahmanian
SISW
2003
IEEE
15 years 3 months ago
Implementation of a Storage Mechanism for Untrusted DBMSs
Several architectures have been recently proposed that store relational data in encrypted form on untrusted relational databases. Such architectures permit the creation of novel I...
Ernesto Damiani, Sabrina De Capitani di Vimercati,...