Sciweavers

2455 search results - page 355 / 491
» Graphical abstract help
Sort
View
SCP
2010
148views more  SCP 2010»
15 years 2 months ago
Debugging hygienic macros
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...
Ryan Culpepper, Matthias Felleisen
EUROMED
2010
15 years 2 months ago
Communication of Digital Cultural Heritage in Public Spaces by the Example of Roman Cologne
Abstract. The communication of cultural heritage in public spaces such as museums or exhibitions, gain more and more importance during the last years. The possibilities of interact...
Matthias Trapp, Amir Semmo, Rafael Pokorski, Claus...
SEKE
2010
Springer
15 years 2 months ago
Specification patterns can be formal and still easy
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
Fernando Asteasuain, Víctor A. Braberman
HCI
2009
15 years 1 months ago
YVision: A General Purpose Software Composition Framework
Abstract. Expectations for the industry of Human Computer Interaction are much higher today than they were ten or even five years ago. Innovative solutions to sense and gather info...
Antão Almada, Gonçalo Lopes, Andr&ea...
HCI
2009
15 years 1 months ago
UbiSOA Dashboard: Integrating the Physical and Digital Domains through Mashups
Abstract. The current Web 2.0 stage of the Internet provided the basis for web-based communities and services aimed at collaboration and information sharing. Furthermore, Internet ...
Edgardo Avilés-López, J. Antonio Gar...