Sciweavers

2343 search results - page 111 / 469
» MedModel - Healthcare Simulation Software
Sort
View
TCIAIG
2010
14 years 11 months ago
Evolutionary Game Design
It is easy to create new combinatorial games but more difficult to predict those that will interest human players. We examine the concept of game quality, its automated measurement...
Cameron Browne, Frédéric Maire
CORR
2006
Springer
106views Education» more  CORR 2006»
15 years 4 months ago
Checkbochs: Use Hardware to Check Software
In this paper, we present a system called Checkbochs, a machine simulator that checks rules about its guest operating system and applications at the hardware level. The properties...
Sorav Bansal
COMPSAC
2005
IEEE
15 years 10 months ago
An Empirical Performance Study for Validating a Performance Analysis Approach: PSIM
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...
Jinchun Xia, Yujia Ge, Carl K. Chang
UML
2004
Springer
15 years 9 months ago
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
Luciano Lavagno, Marco Di Natale, Alberto Ferrari,...
ERSHOV
2006
Springer
15 years 8 months ago
TTCN-3 for Distributed Testing Embedded Software
Abstract. TTCN-3 is a standardized language for specifying and executing test suites that is particularly popular for testing embedded systems. Prior to testing embedded software i...
Stefan Blom, Thomas Deiß, Natalia Ioustinova...