Sciweavers

580 search results - page 6 / 116
» Towards a Theory of Conceptual Modelling
Sort
View
ENTCS
2008
128views more  ENTCS 2008»
14 years 9 months ago
Towards Formalizing Categorical Models of Type Theory in Type Theory
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
Alexandre Buisse, Peter Dybjer
FOIS
2010
14 years 11 months ago
On the Representation of Quantities and their Parts in Conceptual Modeling
In a series of publications, we have employed ontological theories and principles used to evaluate and improve the quality of conceptual modeling grammars and models. In this artic...
Giancarlo Guizzardi
WWW
2006
ACM
15 years 10 months ago
Capturing RIA concepts in a web modeling language
This work addresses conceptual modeling and automatic code generation for Rich Internet Applications, a variant of Web-based systems bridging the gap between desktop and Web inter...
Alessandro Bozzon, Sara Comai, Piero Fraternali, G...
MABS
2004
Springer
15 years 3 months ago
Patchiness and Prosociality: An Agent-Based Model of Plio/Pleistocene Hominid Food Sharing
Anthropologists have yet to adequately investigate the evolution of food sharing despite its prevalence among contemporary human societies. As an initial step toward rectifying thi...
L. S. Premo
ICARIS
2004
Springer
15 years 3 months ago
Towards a Conceptual Framework for Artificial Immune Systems
We propose that bio-inspired algorithms are best developed and analysed in the context of a multidisciplinary conceptual framework that provides for sophisticated biological models...
Susan Stepney, Robert E. Smith, Jonathan Timmis, A...