1636 search results - page 9 / 328 » Reasoning About Quantum Systems |
VL
2006
IEEE
15 years 5 months ago
2006
IEEE
Although researchers have developed several ways to reason about the location of faults in spreadsheets, no single form of reasoning is without limitations. Multiple types of erro...
STOC
2007
ACM
16 years 14 hour ago
2007
ACM
We study properties of quantum strategies, which are complete specifications of a given party's actions in any multiple-round interaction involving the exchange of quantum in...
COMPSAC
2005
IEEE
15 years 5 months ago
2005
IEEE
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...
FUIN
2008
14 years 11 months ago
2008
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
DLOG
2003
15 years 1 months ago
2003
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...