Sciweavers

504 search results - page 33 / 101
» Definitional Reflection and the Completion
Sort
View
ICFP
2008
ACM
14 years 8 months ago
Typed closure conversion preserves observational equivalence
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
Amal Ahmed, Matthias Blume
ITICSE
2009
ACM
14 years 3 months ago
Hybrid and custom data structures: evolution of the data structures course
The topic of data structures has historically been taught with two major focuses: first, the basic definition and implementation of a small set of basic data structures (e.g. list...
Daniel J. Ernst, Daniel E. Stevenson, Paul J. Wagn...
PERCOM
2006
ACM
14 years 2 months ago
Groupanizer: a Method to Correlate Multi-users Position with Daily Moments
Groupanizer is an extension of groupware and constitutes a development platform to integrate user-centric information for the benefit of groupware applications. User-centric conte...
Jean Olivier Caron, Yoshihiro Kawahara, Hiroyuki M...
CW
2005
IEEE
14 years 2 months ago
Designing Interfaces for art applications
Imagination and creativity have always marked the path in the world of aesthetics; artists, designers and other creative individuals have found in the realm of computers a new can...
Marissa Díaz Pier, Isaac Rudomín Gol...
WETICE
2000
IEEE
14 years 1 months ago
Evaluation Challenges for a Federation of Heterogeneous Information Providers: The Case of NASA's Earth Science Information Part
NASA’s Earth Science Information Partnership Federation is an experiment funded to assess the ability of a group of widely heterogeneous earth science data or service providers ...
Catherine Plaisant, Anita Komlodi, Francis Lindsay