Sciweavers

4139 search results - page 127 / 828
» Designing and Implementing Combinator Languages
Sort
View
ESOP
2008
Springer
15 years 2 months ago
A Formal Implementation of Value Commitment
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
Cédric Fournet, Nataliya Guts, Francesco Za...
PPDP
2010
Springer
14 years 11 months ago
Graph queries through datalog optimizations
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. L...
93
Voted
WWW
2005
ACM
16 years 1 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
134
Voted
MHCI
2009
Springer
15 years 7 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 ...
94
Voted
JSS
2008
93views more  JSS 2008»
15 years 23 days ago
A language for high-level description of adaptive web systems
This paper focuses on the proposal, design, and implementation of AWL, the Adaptive Web Language. Also, an example application named PENS is explained and implemented in AWL. AWL ...
S. Hossein Sadat-Mohtasham, Ali A. Ghorbani