Sciweavers

2050 search results - page 39 / 410
» A formal foundation for process modeling
Sort
View
KES
2004
Springer
15 years 7 months ago
A Process Algebra Model of the Immune System
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...
Raul Monroy
FM
2009
Springer
90views Formal Methods» more  FM 2009»
15 years 8 months ago
Fair Model Checking with Process Counter Abstraction
Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, S...
FOIS
2010
15 years 3 months ago
Towards a formal ontology for history of church administration
Abstract. The paper presents preliminary results in the area of ontological engineering for historical research. Historical information systems are still in the initial stage of de...
Pawel Garbacz, Robert Trypuz, Bogumil Szady, Piotr...
FCA
2005
Springer
207views Formal Methods» more  FCA 2005»
15 years 7 months ago
From Formal Concept Analysis to Contextual Logic
Abstract. A main goal of Formal Concept Analysis from its very beginning has been the support of rational communication. The source of this goal lies in our understanding of mathem...
Frithjof Dau, Julia Klinger
COMPSAC
2003
IEEE
15 years 7 months ago
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
Robert John Walters