Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

LOGCOM
2008

favoriteEmaildiscussreport

103views more LOGCOM 2008»

Computable Models

13 years 4 months ago

Computable Models

Download cswww.essex.ac.uk

We investigate mathematical modelling with theories of data types. We provide a formal setting for the formulation of such theories (TPL) and use it to introduce the notion of a computational model. We explore the notion and provide several case studies.

Raymond Turner

Real-time Traffic

Computational Model | Data Types | LOGCOM 2008 | Mathematical Modelling |

claim paper

Related Content

» The KGP Model of Agency for Global Computing Computational Model and Prototype Implementat...

» Computational Complexity in NonTuring Models of Computation The What the Why and the How

» Proposal for Computation Model for Computing an Interlayer Path Based on PCE

» Lower Bounds on the Computational Power of an Optical Model of Computation

» Upper Bounds on the Computational Power of an Optical Model of Computation

» SituationAware Community Computing Model for Developing Dynamic Ubiquitous Computing Syste...

» Low Cost Secure Computation for the General ClientServer Computation Model

» Developing a Cloud Computing Charging Model for HighPerformance Computing Resources

» On Continuous Models of Computation Towards Computing the Distance Between Logic Programs

» Study of Computing Consolidation Techniques in Computational Protein Loop Structure Modeli...

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2008
Where	LOGCOM
Authors	Raymond Turner

Comments (0)