2266 search results - page 157 / 454 » How Not to Evaluate a Developmental System |
SUM
2010
Springer
14 years 7 months ago
2010
Springer
Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...
107
click to vote
PERCOM
2011
ACM
14 years 5 months ago
2011
ACM
We describe AnonySense, a privacy-aware system for realizing pervasive applications based on collaborative, opportunistic sensing by personal mobile devices. AnonySense allows app...
AINA
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we propose an efficient mechanism dealing with trust assessment for agent societies, aiming to accurately assess the trustworthiness of the collaborating agents. I...
FMCAD
2009
Springer
15 years 4 months ago
2009
Springer
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
A good software architecture is becoming recognized as a major factor for successful products. There has been much research on the technical aspects of software architecture and i...