1948 search results - page 109 / 390 » Formalizing Mirror Theory |
180
click to vote
BIS
2006
15 years 6 months ago
2006
This paper discusses the applicability of a process algebra, the -calculus, as a formal foundation for Business Process Management (BPM). We therefore investigate the -calculus fro...
182
click to vote
DAGSTUHL
2001
15 years 6 months ago
2001
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
131
click to vote
AMC
2006
15 years 5 months ago
2006
We first show that the Halting Function (the noncomputable function that solves the Halting Problem) has explicit expressions in the language of calculus. Out of that fact we elab...
184
click to vote
LOGCOM
2008
15 years 5 months ago
2008
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 c...
128
click to vote
NGC
2002
Springer
15 years 5 months ago
2002
Springer
Scenario analysis is often used to identify possible chance events. However, no formal, computational theory yet exists for scenario analysis. In this paper, we commence developme...