Sciweavers

ICSEA
2008
IEEE
14 years 6 months ago
Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
MEMBRANE
2009
Springer
14 years 6 months ago
Conformon P Systems and Topology of Information Flow
would be an abstract answer (because it would not immediately link a formal model with the biological reality that inspired it or with possible implementations) from the other hand...
Pierluigi Frisco
EPIA
2009
Springer
14 years 6 months ago
A Formal Model of Emotion-Based Action Tendency for Intelligent Agents
Although several formal models of emotions for intelligent agents have recently been proposed, such models often do not formally specify how emotions influence the behavior of an ...
Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. ...