77016 search results - page 702 / 15404 » Modelling |
228
click to vote
FIDJI
2003
Springer
16 years 20 days ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
214
click to vote
GECCO
2003
Springer
16 years 20 days ago
2003
Springer
This paper discusses a new model of parallel evolutionary algorithms (EAs) called the specialized island model (SIM) that can be used to generate a set of diverse non-dominated sol...
223
click to vote
COMPSAC
2002
IEEE
16 years 12 days ago
2002
IEEE
Quality is a fundamental concept in software and information system development. It is also a complex and elusive concept. A large number of quality models have been developed for...
205
click to vote
COOPIS
2002
IEEE
16 years 12 days ago
2002
IEEE
Abstract. In recent years ontologies – shared conceptualizations of some domain – are increasingly seen as the key to further automation of information processing. Although man...
173
click to vote
DATE
2002
IEEE
16 years 12 days ago
2002
IEEE
: It has always been assumed that fault models in memories are sufficiently precise for specifying the faulty behavior. This means that, given a fault model, it should be possible...