3623 search results - page 426 / 725 » Functionally Modeled User Interfaces |
WSC
1997
15 years 5 months ago
1997
GPSS/H is a tried-and-true simulation tool whose user base, both commercial and academic, continues to grow despite the presence of many “new” simulation technology trends. Th...
129
click to vote
DIGRA
2003
Springer
15 years 9 months ago
2003
Springer
Instead of confining the player to a single role, the active participator model positions the player in a more flexible position towards the fictional gameworld: involved and imme...
173
click to vote
NAR
2010
14 years 11 months ago
2010
WormBase (http://www.wormbase.org) is a central data repository for nematode biology. Initially created as a service to the Caenorhabditis elegans research field, WormBase has evo...
154
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Utility computing offers researchers and businesses the potential of significant cost-savings in that it is possible for them to match the cost of their computing and s...
120
click to vote
JSS
2006
15 years 4 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...