4978 search results - page 193 / 996 » Logical models of argument |
156
click to vote
CSL
2006
Springer
15 years 8 months ago
2006
Springer
A complete and decidable propositional logic for reasoning about states of probabilistic sequential programs is presented. The state logic is then used to obtain a sound Hoare-styl...
115
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper we show how hybrid control and modeling techniques can be put to work for solving a problem of industrial relevance in Surface Mount Technology (SMT) manufa...
145
click to vote
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
What distinguishes e-commerce from ordinary commerce? What distinguishes it from distributed computation? In this paper we propose a performative theory of e-commerce, drawing on ...
112
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
Abstract. An e-market system is a concrete implementation of a market institution; it embeds one or more exchange mechanisms. E-market systems are also information systems which ar...
128
click to vote
ENTCS
2006
15 years 4 months ago
2006
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...