Sciweavers

4731 search results - page 146 / 947
» Securing Interactive Programs
Sort
View
IFIP
2009
Springer
14 years 1 months ago
Secure Information Flow for Distributed Systems
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
Rafael Alpízar, Geoffrey Smith
CHI
2007
ACM
14 years 9 months ago
Tangible programming in the classroom with tern
This interactivity demonstrates Tern, a tangible programming language for middle school and late elementary school students. Tern consists of a collection of wooden blocks shaped ...
Michael S. Horn, Robert J. K. Jacob
INTERACT
2003
13 years 10 months ago
HCI Education in the Czech Republic
: In this paper we report on some problems arising during the building of an educational system in the area of human computer interaction in the Czech Republic. An overview of teac...
Václav Matousek, Pavel Slavík
CCS
2009
ACM
14 years 3 months ago
Reactive noninterference
Many programs operate reactively, patiently waiting for user input, subsequently running for a while producing output, and eventually returning to a state where they are ready to ...
Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sj&oum...
ECOOP
1997
Springer
14 years 1 months ago
Feature-Oriented Programming: A Fresh Look at Objects
We propose a new model for exible composition of objects et of features. Features are similar to (abstract) subclasses, but only provide the core functionality of a (sub)class. Ove...
Christian Prehofer