227 search results - page 20 / 46 » Component-Based Modeling, Analysis and Animation |
DIGRA
2005
Springer
14 years 1 months ago
2005
Springer
In this essay, I examine differences between individual and social play and, in particular, the differences between individual and social play within digital media forms designed ...
ECLIPSE
2007
ACM
13 years 11 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
STTT
2008
13 years 7 months ago
2008
We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a mode...
CSB
2005
IEEE
14 years 1 months ago
2005
IEEE
Studying the genetic control of molecular, anatomical and/or morphological phenotypes in model organisms is a powerful tool in the functional analysis of a gene. The goal of our r...
SMI
2005
IEEE
14 years 1 months ago
2005
IEEE
The recent ability to measure quickly and inexpensively dense sets of points on physical objects has deeply influenced the way engineers used to represent shapes in CAD systems, ...