404 search results - page 3 / 81 » Analysis methods to support design for damping |
TELSYS
2002
13 years 5 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
IAT
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper introduces HealthAgents, an EC-funded research project to improve the classification of brain tumours through multi-agent decision support over a distributed network o...
DSVIS
1998
Springer
13 years 10 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
ICCBR
1999
Springer
13 years 10 months ago
1999
Springer
Abstract. The development of successful case-based design aids depends both on the CBR processes themselves and on crucial questions of integrating the CBR system into the larger t...
SAC
2009
ACM
14 years 13 days ago
2009
ACM
This paper describes the agentTool Process Editor (APE), an Eclipse plug-in based on the Eclipse Process Framework. The aim of APE is to facilitate the design, verification, and m...