2728 search results - page 302 / 546 » Ideologies and Their Points of View |
216
click to vote
CORR
2010
Springer
15 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...
178
click to vote
ENTCS
2008
15 years 7 months ago
2008
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...
165
click to vote
IIE
2008
15 years 6 months ago
2008
Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does...
185
click to vote
IANDC
2006
15 years 6 months ago
2006
We introduce a new notion of bisimulation, called event bisimulation on labelled Markov processes (LMPs) and compare it with the, now standard, notion of probabilistic bisimulatio...
166
click to vote
ELECTRONICMARKETS
2007
15 years 6 months ago
2007
In this paper we present a study that unveils the technological and organizational preferences of various industries towards mobile payment developments in Switzerland. Despite th...