Sciweavers

4731 search results - page 329 / 947
» Securing Interactive Programs
Sort
View
PLDI
2009
ACM
16 years 7 months ago
Semantics-aware trace analysis
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
Kevin J. Hoffman, Patrick Eugster, Suresh Jagannat...

Book
695views
17 years 2 months ago
The Scheme Programming Language
"Scheme is a general-purpose computer programming language. It is a high-level language, supporting operations on structured data such as strings, lists, and vectors, as well ...
R. Kent Dybvig
TEI
2009
ACM
118views Hardware» more  TEI 2009»
16 years 1 months ago
Comics, robots, fashion and programming: outlining the concept of actDresses
This paper concerns the design of physical languages for controlling and programming robotic consumer products. For this purpose we explore basic theories of semiotics represented...
Ylva Fernaeus, Mattias Jacobsson
WIKIS
2009
ACM
16 years 1 months ago
The social roles of bots and assisted editing programs
This paper investigates software programs as non-human social actors in Wikipedia, arguing that influence must not be overlooked in social scientific research of the on-line encyc...
R. Stuart Geiger
ESOP
2007
Springer
16 years 27 days ago
Structured Communication-Centred Programming for Web Services
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
Marco Carbone, Kohei Honda, Nobuko Yoshida