Formal properties of recursive Virtual Machine architectures.

A formal model of hardware/software architectures is developed and applied to Virtual Machine Systems. Results are derived on the sufficient conditions that a machine architecture must verify in order to support VM systems. The model deals explicitly with resource mappings (protection) and with I/O devices. Some already published results are retrieved and other ones, more general, are obtained

A New Biology: A Modern Perspective on the Challenge of Closing the Gap between the Islands of Knowledge

This paper discusses the rebirth of the old quest for the principles of biology along the discourse line of machine-organism disanalogy and within the context of biocomputation from a modern perspective. It reviews some new attempts to revise the existing body of research and enhance it with new developments in some promising fields of mathematics and computation. The major challenge is that the latter are expected to also answer the need for a new framework, a new language and a new methodology capable of closing the existing gap between the different levels of complex system organization

The role of theorem proving in systems biology

Theorems offer a rarity in biology, a guarantee that something will always be true if certain conditions are met. We show that modeling and theorem proving are distinct while playing mutually supporting roles in understanding cellular phenomena. Using two recently proven theorems from systems biology as examples, we demonstrate that theorems are not an alternative to mechanistic models. Rather, theorem proving, in conjunction with conventional mathematical (mechanistic) modeling, is an essential tool for a deeper understanding in systems biology. © 2011 Elsevier Ltd