Sciweavers

2004 search results - page 254 / 401
» Interaction nets: programming language design and implementa...
Sort
View
EUROSYS
2009
ACM
16 years 3 months ago
Isolating web programs in modern browser architectures
Many of today’s web sites contain substantial amounts of client-side code, and consequently, they act more like programs than simple documents. This creates robustness and perfo...
Charles Reis, Steven D. Gribble
TLDI
2009
ACM
142views Formal Methods» more  TLDI 2009»
16 years 3 months ago
Static extraction of sound hierarchical runtime object graphs
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
Marwan Abi-Antoun, Jonathan Aldrich
HAPTICS
2009
IEEE
16 years 1 months ago
ShiverPad: A device capable of controlling shear force on a bare finger
We discuss the theory, design, and performance of a flat-panel tactile display capable of controlling shear force on a finger. In previous research a TPaD variable friction devi...
Erik C. Chubb, J. Edward Colgate, Michael A. Peshk...
SIGGRAPH
2010
ACM
15 years 11 months ago
3D modeling with silhouettes
We present a new sketch-based modeling approach in which models are interactively designed by drawing their 2D silhouettes from different views. The core idea of our paper is to l...
Alec Rivers, Frédo Durand, Takeo Igarashi
ATAL
2011
Springer
14 years 6 months ago
Specifying and applying commitment-based business patterns
Recent work in communications and business modeling emphasizes a commitment-based view of interaction. By abstracting away from implementation-level details, commitments can poten...
Amit K. Chopra, Munindar P. Singh