3429 search results - page 370 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
151
click to vote
PRIMA
2007
Springer
15 years 11 months ago
2007
Springer
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
117
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
172
click to vote
CLIMA
2004
15 years 6 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
130
click to vote
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
Capability acquisition graphs (CAGs) provide a powerful framework for modeling insider threats, network attacks and system vulnerabilities. However, CAG-based security modeling sys...
169
click to vote
SIGMOD
1993
ACM
15 years 9 months ago
1993
ACM
Abstract: We propose a framework for the specification of extensible database systems. A particular goal is to implement a software component for parsing and rule-based optimizatio...