Sciweavers

5630 search results - page 233 / 1126
» Computability in Specification
Sort
View
141
Voted
CHI
2002
ACM
16 years 6 months ago
A different kind of information appliance: fridge companion
A prototype device is described that allows a user to understand and contemplate the inner workings of a common home appliance, the refrigerator. The device monitors select physic...
Marc Böhler
AIS
2006
Springer
15 years 6 months ago
Making games for social change
This paper provides an overview of creating games for change from within an academic context, focusing specifically on the development of educational computer games for middle scho...
Mary Flanagan
FAC
2002
78views more  FAC 2002»
15 years 5 months ago
A Refinement Calculus for Shared-Variable Parallel and Distributed Programming
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. More...
Jürgen Dingel
COORDINATION
1999
Springer
15 years 10 months ago
CLAM: Composition Language for Autonomous Megamodules
Advances in computer networks that support the invocation of remote services in heterogeneous environments enable new levels of software composition. In order to manage composition...
Neal Sample, Dorothea Beringer, Laurence Melloul, ...
ISI
2007
Springer
15 years 6 months ago
Host Based Intrusion Detection using Machine Learning
—Detecting unknown malicious code (malcode) is a challenging task. Current common solutions, such as anti-virus tools, rely heavily on prior explicit knowledge of specific instan...
Robert Moskovitch, Shay Pluderman, Ido Gus, Dima S...