359 search results - page 42 / 72 » Towards Automated Game Design |
DSVIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
SIGADA
1999
Springer
13 years 12 months ago
1999
Springer
Representing interdependencies between the objects of an object-oriented software application requires designtime mechanisms for specifying object interrelationships, as well as s...
SOUPS
2010
ACM
13 years 11 months ago
2010
ACM
With the increase of automated teller machine (ATM) frauds, new authentication mechanisms are developed to overcome security problems of personal identification numbers (PIN). Th...
ICSOFT
2007
13 years 9 months ago
2007
Modern software development is driven by many critical forces. Among them are fast deployment requirements, a code base adaptable to new technologies, easy-to-maintain code, and lo...
PERCOM
2010
ACM
13 years 6 months ago
2010
ACM
—In the environments where heterogeneous devices need to share information, utilize services of each other, and participate as components in various smart applications, it is com...