Sciweavers

5689 search results - page 9 / 1138
» A Performance Process Maturity Model
Sort
View
FDG
2009
ACM
15 years 6 months ago
Relating cognitive models of computer games to user evaluations of entertainment
As the interactive entertainment industry matures, a better understanding of what makes software entertaining is needed. A natural starting point is the application of traditional...
Paolo Piselli, Mark Claypool, James Doyle
DSVIS
1997
Springer
15 years 3 months ago
DMVIS: Design, Modelling and Validation of Interactive Systems
Much of the work reported in the first three DSVIS conferences has concentrated on techniques and languages for specifying and developing interactive systems. In this paper, we ar...
Robert E. Fields, Nicholas A. Merriam, Andrew M. D...
CAV
2010
Springer
173views Hardware» more  CAV 2010»
15 years 3 months ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...
AOIS
2003
15 years 1 months ago
Comparing Agent-Oriented Methodologies
Numerous methodologies for developing agent-based systems have been proposed in the literature. However, their application is still limited due to their lack of maturity. Evaluati...
Khanh Hoa Dam, Michael Winikoff
VLDB
2004
ACM
125views Database» more  VLDB 2004»
15 years 5 months ago
Indexing XML Data Stored in a Relational Database
As XML usage grows for both data-centric and document-centric applications, introducing native support for XML data in relational databases brings significant benefits. It provide...
Shankar Pal, Istvan Cseri, Gideon Schaller, Oliver...