1116 search results - page 54 / 224 » Applying Predicate Abstraction to Abstract State Machines |
186
click to vote
CALCO
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. We investigate the phenomenon that every monad is a linear state monad. We do this by studying a fully-complete state-passing translation from an impure call-by-value lan...
147
click to vote
DAGSTUHL
2004
15 years 5 months ago
2004
Abstract. A Web Service (WS) is a type of component specifically conceived for distributed machine-to-machine interaction. Interoperability between WSs involves both data and messa...
141
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
125
click to vote
KAIS
2002
15 years 3 months ago
2002
Abstract. This paper surveys the state of the art of agent-mediated electronic commerce (ecommerce), especially in business-to-consumer (B2C) e-commerce and business-to-business (B...
101
click to vote
APPROX
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Motivated by an open problem recently suggested by Goldreich et al., we study truthful implementations of a random binary function supporting compound XOR queries over su...