8828 search results - page 1272 / 1766 » Formal methods in practice |
166
click to vote
IV
2005
IEEE
16 years 22 days ago
2005
IEEE
The field of information visualization offers little methodological guidance to practitioners who seek to design novel systems. Though many sources describe the foundations of the...
224
click to vote
VISUALIZATION
2005
IEEE
16 years 22 days ago
2005
IEEE
The field of Visualization is getting mature. Many problems have been solved, and new directions are sought for. In order to make good choices, an understanding of the purpose an...
162
click to vote
PASTE
2005
ACM
16 years 22 days ago
2005
ACM
When library APIs change, client code should change in response, in order to avoid erroneous behavior, compilation failures, or warnings. Previous research has introduced techniqu...
203
click to vote
SIGITE
2005
ACM
16 years 22 days ago
2005
ACM
This paper describes a novel approach to teaching computer networking through packet traces of actual network traffic. The paper describes a set of exercises that use packet trace...
189
click to vote
CASC
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. We propose exact, complete and efficient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means ...