Sciweavers

1645 search results - page 162 / 329
» Conceptual modelling: Knowledge acquisition and model abstra...
Sort
View
79
Voted
DAGSTUHL
2004
14 years 11 months ago
Language Engineering in Practice
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
Martin Große-Rhode
CEEMAS
2007
Springer
15 years 4 months ago
Simulating a Human Cooperative Problem Solving
Abstract. We are interested in understanding and simulating how humans elaborate plans in situations where knowledge is incomplete and how they interact to obtain missing informati...
Alexandre Pauchet, Amal El Fallah-Seghrouchni, Nat...
TYPES
2004
Springer
15 years 3 months ago
A Machine-Checked Formalization of the Random Oracle Model
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
Gilles Barthe, Sabrina Tarento
KELSI
2004
Springer
15 years 3 months ago
Modelling and Prediction of Toxicity of Environmental Pollutants
Abstract. This paper describes the problem of modelling toxicity of environmental pollutants using molecular descriptors from a systems theoretical viewpoint. It is shown that curr...
Frank Lemke, Johann-Adolf Müller, Emilio Benf...
ECIS
2000
14 years 11 months ago
Semantic Event Model and its Implication on Situation Detection
- Events are at the core of reactive applications, which have become popular in many domains. Contemporary modeling tools lack the capability express the event semantics and relati...
Asaf Adi, David Botzer, Opher Etzion