3047 search results - page 444 / 610 » On the Meaning of Logical Completeness |
IWAN
2004
Springer
15 years 3 months ago
2004
Springer
Active and programmable network technologies strive to support completely new forms of data-path processing capabilities inside the network. This in conjunction with the ability to...
MKM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
MMB
2004
Springer
15 years 3 months ago
2004
Springer
A sensitivity analysis of a single-server, inļ¬nite-buffer queue with correlated arrivals and correlated service times is performed. We study and compare the isolated impact of (...
OOPSLA
2004
Springer
15 years 3 months ago
2004
Springer
In an object-oriented language, a derived class may declare a method with the same signature as a method in the base class. The meaning of the re-declaration depends on the langua...
PSD
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Masking methods protect data sets against disclosure by perturbing the original values before publication. Masking causes some information loss (masked data are not exact...