This work presents a method for the definition of process capability profiles lined up with the specific business model of small software companies. The developed method is made u...
Teaching fundamental programming to freshmen is a hard task to be performed, given the high level action and logical reasoning that are required for these students to develop in a...
Cristiane Camilo Hernandez, Luciano Silva, Rafael ...
This paper addresses the evaluation of a fault-tolerant model for tactic operations of mobile robotic groups. The coordinated action of the group is planned with Genetic Algorithm...
This paper presents a guideline-driven healthcare service platform for smart homes. The clinical guidelines are usually established by medical experts according to the symptoms of ...
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...