6978 search results - page 399 / 1396 » On Proofs in System P |
250
click to vote
P2P
2009
IEEE
16 years 1 months ago
2009
IEEE
Distributed systems such as Peer-to-Peer overlays have been shown to efficiently support the processing of range queries over large numbers of participating hosts. In such system...
175
click to vote
P2P
2005
IEEE
16 years 14 days ago
2005
IEEE
Distributed peer-to-peer systems rely on voluntary participation of peers to effectively manage a storage pool. In such systems, data is generally replicated for performance and a...
141
click to vote
ANSS
1999
IEEE
15 years 11 months ago
1999
IEEE
The results presented here are based on many years of experience of development and application of DYANA
147
click to vote
COR
2006
15 years 7 months ago
2006
This paper presents the development process of an evaluation system to help the Portuguese PublicAdministration
157
click to vote
SIAMCO
2000
15 years 6 months ago
2000
Finite-time stability is defined for equilibria of continuous but non-Lipschitzian autonomous systems. Continuity, Lipschitz continuity, and H