1636 search results - page 39 / 328 » Reasoning About Quantum Systems |
122
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
107
click to vote
GRID
2003
Springer
15 years 7 months ago
2003
Springer
Computational Grids have the potential to become the main execution platform for high performance and distributed applications. However, such systems are extremely complex and pro...
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
147
click to vote
TARK
1992
Springer
15 years 6 months ago
1992
Springer
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...
117
click to vote
AAAI
1998
15 years 3 months ago
1998
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...