In this paper, it is shown how behavioural properties can be specified for three types of violent criminals. Moreover, it is shown how empirical material in the form of informal de...
Biologically inspired complex adaptive systems (BICAS) have and will continue to move from research laboratories into industry. As the ions presented by biologically inspired syste...
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
The recommendation system is one of the core technologies for implementing personalization services. Recommendation systems in ubiquitous computing environment should have the capa...
The number of defects is an important indicator of software quality. Agile software development methods put an explicit requirement on automation and permanently low defect rates. ...