1116 search results - page 54 / 224 » Applying Predicate Abstraction to Abstract State Machines |
156
Voted
CALCO
2011
Springer
14 years 24 days 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...
115
click to vote
DAGSTUHL
2004
15 years 2 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...
107
Voted
FOSSACS
2005
Springer
15 years 6 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...
94
Voted
KAIS
2002
15 years 14 days 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...
71
Voted
APPROX
2004
Springer
15 years 6 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...