Sciweavers

39 search results - page 8 / 8
» A Graphical Approach to Analogue Behavioural Modelling
Sort
View
CONCUR
2007
Springer
13 years 11 months ago
Rule-Based Modelling of Cellular Signalling
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
Vincent Danos, Jérôme Feret, Walter F...
IUI
2004
ACM
13 years 10 months ago
Usability trade-offs for adaptive user interfaces: ease of use and learnability
An analysis of context-aware user interfaces shows that adaptation mechanisms have a cost-benefit trade-off for usability. Unpredictable autonomous interface adaptations can easil...
Tim F. Paymans, Jasper Lindenberg, Mark A. Neerinc...
EUROGRAPHICS
2010
Eurographics
14 years 2 months ago
Improved Variational Guiding of Smoke Animations
Smoke animations are hard to art-direct because simple changes in parameters such as simulation resolution often lead to unpredictable changes in the final result. Previous work ...
Michael B. Nielsen and Brian B. Christensen
ZUM
1997
Springer
125views Formal Methods» more  ZUM 1997»
13 years 9 months ago
A Formal OO Method Inspired by Fusion and Object-Z
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
Klaus Achatz, Wolfram Schulte