1567 search results - page 180 / 314 » A Mechanized Model of the Theory of Objects |
101
click to vote
NN
2006
Springer
15 years 1 months ago
2006
Springer
In theories of cognition that view the mind as a system of interacting agents, there must be mechanisms for aggregate decision-making, such as voting. Here we show that certain vo...
115
click to vote
RAS
2006
15 years 1 months ago
2006
This paper presents a design methodology for a class of behaviour-based control systems, arguing its potential for application to safety critical systems. We propose a formal basi...
AUTOMATICA
2004
15 years 1 months ago
2004
In this paper we propose an innovative way of dealing with the design of fault-tolerant control systems. We show how the nonlinear output regulation theory can be successfully ado...
131
Voted
TCS
2010
14 years 8 months ago
2010
We consider network congestion problems between TCP flows and define a new game, the Window-game, which models the problems of network congestion caused by the competing flows. An...
216
Voted
CADE
2011
Springer
14 years 1 months ago
2011
Springer
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...