783 search results - page 62 / 157 » The Bio-PEPA Tool Suite |
AGENTS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Evolutionary game-theory is a powerful tool to investigate the development of complex relations between individuals such as the emergence of cooperation and trust. But th...
HYBRID
1995
Springer
13 years 11 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
ZUM
1995
Springer
13 years 11 months ago
1995
Springer
as Abstraction Susan Stepney Logica UK Ltd 1 The PROST-Objects project has developed a method for specifying tests. The method is based on systematic abstraction from a `state-plus...
ECIS
2001
13 years 9 months ago
2001
Interpretivist research in progress in a market research company is reported. Market research is information and knowledge intensive. The problem addressed concerns sharing inform...
BIOINFORMATICS
2005
13 years 8 months ago
2005
: Doelan is an automated tool to check the quality of produced DNA microarrays. This software is based on the execution of test suites on quality control data to validate batches o...