1301 search results - page 206 / 261 » Specifications via Realizability |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
ENTCS
2008
13 years 7 months ago
2008
Team automata are a formalism for the component-based specification of reactive, distributed systems. Their main feature is a flexible technique for specifying coordination patter...
CACM
2006
13 years 7 months ago
2006
This article presents a method for valuing software, based on the income that use of that software is expected to generate in the future. It applies well known principles of intel...
IJMMS
2006
13 years 7 months ago
2006
Trust is a key factor in consumer decisions about website engagement. Consumers will engage with sites they deem trustworthy and turn away from those they mistrust. In this paper ...