16 search results - page 1 / 4 » 06271 Abstracts Collection -- Challenges in Symbolic Computa... |
DAGSTUHL
2006
13 years 6 months ago
2006
CHI
2010
ACM
13 years 11 months ago
2010
ACM
This paper presents narrative pictograms, diagrams designed to convey the abstract concepts of a software agreement. Narrative pictograms arose out of a need to increase the chanc...
DAC
2004
ACM
14 years 5 months ago
2004
ACM
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...
CAV
2009
Springer
14 years 5 months ago
2009
Springer
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
HCI
2009
13 years 2 months ago
2009
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...