Search for Author All Reviews
	Walters, Robert John     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       Effects of introducing survival behaviours into automated negotiators specified in an environmental and behavioural framework Henderson P., Crouch S., Walters R., Ni Q. Journal of Systems and Software 76(1): 65-76, 2005.  Type: Article I started reading this paper expecting to find solutions to the problem of survivability and predictability of automated negotiator algorithms in an unreliable, underlying message-passing infrastructure, and found something interesting...... Sep 8 2005     Checking of models built using a graphically based formal modelling language Walters R. Journal of Systems and Software 76(1): 55-64, 2005.  Type: Article Walters discusses the specification of a system in a graphical modeling notation known as RDT, and the translation of RDT into Promela code (the input to the SPIN model checker). To validate the approach, a very simple example is used....... Sep 2 2005
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy