733 search results - page 45 / 147 » Formal Reasoning About Intrusion Detection Systems |
115
click to vote
OTM
2005
Springer
15 years 7 months ago
2005
Springer
Model-driven Architecture (MDA) is a software architecture framework proposed by the Object Management Group OMG. MDA emphasises the importance of modelling in the architectural de...
111
click to vote
AAAI
2000
15 years 3 months ago
2000
Certain problems in connection with, for example, cooperating agents and distributed systems require reasoning about time which is measured on incomparable or unsynchronized time ...
115
click to vote
CADE
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
107
click to vote
CIA
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Agent’s meta-reasoning is a computational process that implements agent’s capability to reason on a higher level about another agent or a community of agents. There i...
111
click to vote
ECSQARU
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We introduce a modular framework for formalizing reasoning with incomplete and inconsistent information. This framework is composed of non-deterministic semantic structur...