846 search results - page 7 / 170 » The Use of Z |
ZUM
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. This paper presents some of our requirements for a Z typechecker: that the typechecker accept all well-typeable formulations, however contrived; that it gather informatio...
ENTCS
2002
13 years 7 months ago
2002
Once you have proved your refinement correct, that is not the end. Real products, and their accompanying specifications, develop over time, with new improved versions having added...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
This paper provides an explicit expression for the capacity region of the two-user broadcast Z channel and proves that the optimal boundary can be achieved by independent encoding...
CORR
1999
Springer
13 years 7 months ago
1999
Springer
A query routing broker is a software agent that determines from a large set of accessing information sources the ones most relevant to a user's information need. As the numbe...
EUROMICRO
2000
IEEE
14 years 4 days ago
2000
IEEE
Digital libraries and OPACs are offering an enormous collection of information resources which can be accessed through Internet by quite different users thanks to the existence of...