Sciweavers

1863 search results - page 269 / 373
» Unifying Theories of Objects
Sort
View
CANDC
2005
ACM
13 years 9 months ago
Computer art: a personal recollection
The story of some early computer art drawings in 1965 is told. It is a story of randomness. Computer art is viewed here as the programming of classes of aesthetic objects. In the ...
Frieder Nake
FOSSACS
2008
Springer
13 years 9 months ago
The Microcosm Principle and Concurrency in Coalgebra
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
BCSHCI
2007
13 years 9 months ago
Ten emotion heuristics: guidelines for assessing the user's affective dimension easily and cost-effectively
Emotional appeal is a key dimension in user experience that often goes unmeasured in most user-centered design projects. This paper presents preliminary work for developing a set ...
Eva de Lera, Muriel Garreta Domingo
WSPI
2008
13 years 9 months ago
Practices, Systems, and Context Working as Core Concepts in Modeling Socio-Technical Systems
This work draws on the cultural historical activity-theory and the theory of social systems to model socio-technical systems. The concepts of practice, system, and context work as ...
Heidrun Allert, Christoph Richter
FMOODS
2003
13 years 9 months ago
Inductive Proof Outlines for Monitors in Java
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...
Erika Ábrahám, Frank S. de Boer, Wil...