7988 search results - page 102 / 1598 » A Useful Undecidable Theory |
193
click to vote
INTEGRATION
2008
15 years 6 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...
173
click to vote
CAISE
2006
Springer
15 years 10 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&...
154
click to vote
APSEC
2001
IEEE
15 years 10 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...
202
click to vote
OHS
2000
Springer
15 years 10 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 ...
162
click to vote
APAL
2008
15 years 6 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...