1583 search results - page 125 / 317 » Using Multi-context Systems to Engineer Executable Agents |
SP
2010
IEEE
13 years 7 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
ARGMAS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. A framework, PISA, for conducting dialogues to resolve disputes concerning the correct categorisation of particular cases, is described. Unlike previous systems to conduc...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...
EMSOFT
2010
Springer
13 years 7 months ago
2010
Springer
We propose the first polynomial-time code selection algorithm for minimising the worst-case execution time of a nonnested loop executed on a fully pipelined processor that uses sc...
SIGMETRICS
2000
ACM
14 years 1 months ago
2000
ACM
This paper presents an analytical model to study how working sets scale with database size and other applications parameters in decision-support systems (DSS). The model uses appl...