Sciweavers

1636 search results - page 3 / 328
» Reasoning About Quantum Systems
Sort
View
ICMLA
2010
13 years 3 months ago
A Probabilistic Graphical Model of Quantum Systems
Quantum systems are promising candidates of future computing and information processing devices. In a large system, information about the quantum states and processes may be incomp...
Chen-Hsiang Yeang
KR
1994
Springer
13 years 9 months ago
Reasoning in Logic about Continuous Systems
Benjamin Kuipers, Benjamin Shults
ICECCS
2002
IEEE
86views Hardware» more  ICECCS 2002»
13 years 10 months ago
Reasoning about Asynchronous Behaviour in Distributed Systems
When a new component is added to an existing, distributed system, it has to co-operate with existing components in a way that doesn’t interfere badly with the original system. A...
Peter Henderson