1638 search results - page 184 / 328 » Properties of input-consuming derivations |
209
click to vote
AMEC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...
158
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
159
click to vote
SETN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Constructive methods obtain solutions to constraint satisfaction problem instances by iteratively extending consistent partial assignments. In this research, we study the...
150
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Ideally, software is derived from requirements whose properties have been established as good. However, it is difficult to define and analyze requirements. Moreover, derivation of...
201
click to vote
COCO
2001
Springer
15 years 11 months ago
2001
Springer
The quantum version of communication complexity allows the two communicating parties to exchange qubits and/or to make use of prior entanglement (shared EPRpairs). Some lower boun...