2043 search results - page 203 / 409 » Reasoning About Security Models |
180
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
153
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The application of reinforcement learning algorithms to Partially Observable Stochastic Games (POSG) is challenging since each agent does not have access to the whole state inform...
214
click to vote
ABIALS
2008
Springer
16 years 17 days ago
2008
Springer
Abstract. Human action is goal-directed and must thus be guided by anticipations of wanted action effects. How anticipatory action control is possible and how it can emerge from ex...
164
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
136
Voted
IJMMS
1998
15 years 5 months ago
1998
Clancey (1992) proposed the model-construction framework as a way to explain the reasoning of knowledge-based systems (KBSs), based on his realization that all KBSs construct impl...