Sciweavers

1713 search results - page 96 / 343
» On the Importance of Being Quantum
Sort
View
BSL
2004
49views more  BSL 2004»
14 years 9 months ago
Predicative fragments of Frege Arithmetic
Frege Arithmetic (FA) is the second-order theory whose sole non-logical axiom is Hume's Principle, which says that the number of Fs is identical to the number of Gs if and on...
Øystein Linnebo
CN
2000
64views more  CN 2000»
14 years 9 months ago
Risks of the Passport single signon protocol
Passport is a protocol that enables users to sign onto many different merchants' web pages by authenticating themselves only once to a common server. This is important becaus...
David P. Kormann, Aviel D. Rubin
CN
2002
102views more  CN 2002»
14 years 9 months ago
Formal methods for communication services: meeting the industry expectations
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
Falk Dietrich, Jean-Pierre Hubaux
CORR
2002
Springer
72views Education» more  CORR 2002»
14 years 9 months ago
Using the Annotated Bibliography as a Resource for Indicative Summarization
We report on a language resource consisting of 2000 annotated bibliography entries, which is being analyzed as part of our research on indicative document summarization. We show h...
Min-Yen Kan, Judith L. Klavans, Kathleen McKeown
CUZA
2002
76views more  CUZA 2002»
14 years 9 months ago
Probes Coordination Protocol for Network Performance Measurement
The fast expansion of Grid technologies emphasizes the importance of network performance measurement. Some network measurement methods, like TCP throughput or latency evaluation, a...
Robert Harakaly, Pascale Primet, Franck Bonnassieu...