Sciweavers

4190 search results - page 647 / 838
» Implementing commitment-based interactions
Sort
View
SIGGRAPH
2010
ACM
15 years 7 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
ICIAP
2001
Springer
15 years 7 months ago
A Neurodynamical Retinal Network Based on Reaction-Diffusion Systems
A dynamical model for retinal processing is presented. The model describes the output of retinal ganglion cells whose receptive field is composed of a center and a surround combi...
Matthias S. Keil, Gabriel Cristóbal, Heiko ...
ICSE
2001
IEEE-ACM
15 years 7 months ago
JMOCHA: A Model Checking Tool that Exploits Design Structure
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A....
NOSSDAV
2001
Springer
15 years 7 months ago
Lightweight kernel/user communication for real-time and multimedia applications
Operating system enhancements to support real-time and multimedia applications often include specializations and extensions of kernel functionality, as with the kernel HTTP daemon...
Christian Poellabauer, Karsten Schwan, Richard Wes...
POLICY
2001
Springer
15 years 7 months ago
The Ponder Policy Specification Language
The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databas...
Nicodemos Damianou, Naranker Dulay, Emil Lupu, Mor...