Sciweavers

1162 search results - page 198 / 233
» Specifying Reusable Components
Sort
View
SIGGRAPH
2010
ACM
15 years 2 months ago
Interactive on-surface signal deformation
We present an interactive system for the artistic control of visual phenomena visible on surfaces. Our method allows the user to intuitively reposition shadows, caustics, and indi...
Tobias Ritschel, Thorsten Thormählen, Carsten Dac...
ICSE
2001
IEEE-ACM
15 years 2 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....
PRIMA
2001
Springer
15 years 2 months ago
The Role of Castes in Formal Specification of MAS
One of the most appealing features of multiagent technology is its natural way to modularise a complex system in terms of multiple, interacting and autonomous components. As a natu...
Hong Zhu
RT
2001
Springer
15 years 2 months ago
Decoupling Strokes and High-Level Attributes for Interactive Traditional Drawing
We present an interactive system, which allows the user to produce drawings in a variety of traditional styles. It takes as input an image and performs semi-automatic tonal modelin...
Frédo Durand, Victor Ostromoukhov, Mathieu ...
AIWORC
2000
IEEE
15 years 2 months ago
Building Flexible Mobile Applications for Next Generation Enterprises
In order to understand and gain practical insights into various aspects of Next Generation Enterprises, we are building a testbed for flexible mobile applications. We started with...
Karun Karunanithi, Khurram Haneef, Bruno Cordioli,...