7988 search results - page 102 / 1598 » A Useful Undecidable Theory |
INTEGRATION
2008
13 years 10 months ago
2008
Abstract: Hybrid-redundant number representation has provided a flexible framework for digitparallel addition in a manner that facilitates area-time tradeoffs for VLSI implementati...
CAISE
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. For organizations to flourish in a changing environment, their business processes need to be flexible. Designing flexible business processes is a challenge. We use Weick&...
APSEC
2001
IEEE
14 years 1 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...
OHS
2000
Springer
14 years 1 months ago
2000
Springer
This paper introduces a Semiotic Appoach to Hypertext Theory. Having been applied to Informatics only in recent years, Semiotics promises a broader understanding of Hypertext as a ...
APAL
2008
13 years 10 months ago
2008
Abstract. We prove a version of the associated sheaf functor theorem in Algebraic Set Theory. The proof is established working within a Heyting pretopos equipped with a system of s...