Sciweavers

3168 search results - page 218 / 634
» Computing Event Dependencies in System Designs and Programs
Sort
View
WMTE
2005
IEEE
16 years 2 days ago
Quilt Snaps: A Fabric Based Computational Construction Kit
In this paper we present Quilt Snaps, a fabric based construction kit consisting of a set of computationally enhanced quilting pieces. Our discussion focuses on three ways that ch...
Leah Buechley, Nwanua Elumeze, Camille Dodson, Mic...
UIST
2010
ACM
15 years 4 months ago
TurKit: human computation algorithms on mechanical turk
Mechanical Turk provides an on-demand source of human computation. This provides a tremendous opportunity to explore algorithms which incorporate human computation as a function c...
Greg Little, Lydia B. Chilton, Max Goldman, Robert...
TSE
2008
92views more  TSE 2008»
15 years 6 months ago
Metrics for Measuring the Quality of Modularization of Large-Scale Object-Oriented Software
The metrics formulated to date for characterizing the modularization quality of object-oriented software have considered module and class to be synonymous concepts. But, a typical ...
Santonu Sarkar, Avinash C. Kak, Girish Maskeri Ram...
APLAS
2006
ACM
16 years 14 days ago
Computational Secrecy by Typing for the Pi Calculus
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
Martín Abadi, Ricardo Corin, Cédric ...
ESAW
2006
Springer
15 years 10 months ago
A Definition of Exceptions in Agent-Oriented Computing
The research on exception handling in Multi-Agent Systems has produced some advanced models to deal with `exceptional situations'. The expression `agent exception' is how...
Eric Platon, Nicolas Sabouret, Shinichi Honiden