410 search results - page 58 / 82 » Tools for System Validation with B Abstract Machines |
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
1 Quickly detecting an unexpected pathogen can save many lives. In cases of bioterrorism or naturally occurring epidemics, accurate diagnoses may not be made until much of the popu...
FORMATS
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
WEBI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract—Customization of systems is costly, but it is necessary to better meet the needs of multi-various tasks and requirements in the fields such as medical care, education, ...
EAAI
2007
13 years 7 months ago
2007
Explaining how engineering devices work is important to students, engineers, and operators. In general, machine generated explanations have been produced from a particular perspec...
ITSSA
2006
13 years 7 months ago
2006
Abstract. This paper presents a multi-agent approach to gene expression analysis and illustrates the working steps using real dataset produced from a microarray experiment. The ana...