144 search results - page 2 / 29 » On Modeling, Mathematics, Category Theory and RM-ODP |
ENTCS
2002
13 years 5 months ago
2002
When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and wh...
ATAL
2009
Springer
13 years 11 months ago
2009
Springer
Multi-agent systems are an attractive approach to modeling systems of interacting entities, but in some cases mathematical models of these systems can offer complementary benefits...
IWFM
1998
13 years 6 months ago
1998
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
FM
2001
Springer
13 years 9 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
COLING
1994
13 years 6 months ago
1994
In this note, we present results concerning the theory and practice of determining for a given document which of several categories it best fits. We describe a mathematical model ...