7209 search results - page 955 / 1442 » Software Engineering for Multi-Agent Systems |
172
click to vote
PAMI
2012
13 years 6 months ago
2012
—In this paper, we present a novel image classification system that is built around a core of trainable filter ensembles that we call Volterra kernel classifiers. Our system trea...
133
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
151
Voted
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
129
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Despite increasing efforts in detecting and managing software security vulnerabilities, the number of security attacks is still rising every year. As software becomes more complex...
143
click to vote
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...