Sciweavers

311 search results - page 24 / 63
» Tool support for the navigation in graphical models
Sort
View
IFM
2004
Springer
116views Formal Methods» more  IFM 2004»
14 years 1 months ago
Formalising Behaviour Trees with CSP
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
Kirsten Winter
CONTENT
2001
Springer
14 years 29 days ago
Children's Creation of Shared 3D Worlds
The paper will describe research undertaken to investigate how children can be assisted to construct web based 3D worlds. As new technologies become an increasingly important part ...
Magnus Moar, Fiona Bailey
ISIPTA
2003
IEEE
111views Mathematics» more  ISIPTA 2003»
14 years 1 months ago
The DecideIT Decision Tool
The nature of much information available to decision makers is vague and imprecise, be it information for human managers in organisations or for process agents in a distributed co...
Mats Danielson, Love Ekenberg, Jim Johansson, Aron...
CHI
2009
ACM
14 years 9 months ago
Fly: a tool to author planar presentations
Modern presentation software is still built around interaction metaphors adapted from traditional slide projectors. We provide an analysis of the problems in this application genr...
Leonhard Lichtschlag, Thorsten Karrer, Jan O. Borc...
VISUALIZATION
2002
IEEE
14 years 1 months ago
GeneVis: Visualization Tools for Genetic Regulatory Network Dynamics
GeneVis provides a visual environment for exploring the dynamics of genetic regulatory networks. At present time, genetic regulation is the focus of intensive research worldwide, ...
Charles A. H. Baker, M. Sheelagh T. Carpendale, Pr...