1926 search results - page 80 / 386 » From P to MP Systems |
159
click to vote
FORTE
2004
15 years 7 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
174
click to vote
ICNP
2005
IEEE
15 years 12 months ago
2005
IEEE
A mutually anonymous service hides the identity of a client from the service provider and vice-versa. Providing mutual anonymity usually requires a large number of participants. W...
150
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
With an aim to high-level understanding of the mathematical contents in a document image the requirement of math-zone extraction and recognition technique is obvious. In this pape...
135
click to vote
IMC
2003
ACM
15 years 11 months ago
2003
ACM
With the rapid growth in the popularity of and the research interest in peer-to-peer (P2P) systems, an interesting question is what the quality of network connectivity between pee...
168
click to vote
GI
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. This text describes how persistent object system technology developed in European basic research is being used by a small German startup software company to realize innov...