Sciweavers

6201 search results - page 123 / 1241
» Implementation of Axiomatic Language
Sort
View
ICFEM
2009
Springer
15 years 2 months ago
Implementing a Direct Method for Certificate Translation
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
Gilles Barthe, Benjamin Grégoire, Sylvain H...
WWW
2005
ACM
16 years 4 months ago
Multi-step media adaptation: implementation of a knowledge-based engine
Continuing changes in the domains of consumer devices and multimedia formats demand for a new approach to media adaptation. The publication of customized content on a device requi...
Peter Soetens, Matthias De Geyter
CHI
2001
ACM
16 years 4 months ago
Relational agents: a model and implementation of building user trust
Building trust with users is crucial in a wide range of applications, such as advice-giving or financial transactions, and some minimal degree of trust is required in all applicat...
Timothy W. Bickmore, Justine Cassell
MHCI
2009
Springer
15 years 10 months ago
Mobile implementation of a web 3D carousel with touch input
Mobile devices such as the iPhone provide state of the art interaction capabilities also for web browser applications. Our mobile development is targeted to a Energy Awareness app...
Christoffer Björkskog, Giulio Jacucci, Bruno ...
ACMICEC
2004
ACM
205views ECommerce» more  ACMICEC 2004»
15 years 9 months ago
M-Modeler: a framework implementation for modeling m-commerce applications
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
Ana Hilda Morales-Aranda, Oscar Mayora-Ibarra, San...