1451 search results - page 82 / 291 » Case Studies in Model Manipulation for Scientific Computing |
149
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
136
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a model of neural network embodiment of intentions and planning mechanisms for autonomous agents. The model bridges the dichotomy of symbolic and non-symbolic ...
133
click to vote
COORDINATION
2008
Springer
15 years 6 months ago
2008
Springer
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
135
Voted
ACMSE
2005
ACM
15 years 10 months ago
2005
ACM
A simple extension to the relational model that permits metadata (more generally metaknowledge) to be stored and manipulated as first class data is proposed. The accompanying que...
122
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
Conceptual modelling is thought (by academics at least) to be a key activity of Business Systems Analysis. For decades, comprehensive research has been conducted on related topics ...