SOCRATES is a software system for testing correctness of im plementations of IP routing protocols such as RIP OSPF and BGP It uses a probabilistic algorithm to construct random network topologies For each generated network topology it checks the correctness of routing table cal culation and the IP packet forwarding behavior For OSPF it also checks the consistency between network topologies and ...

similarity. Units not yet reached asymptote: 0 Goodness of network: 0.61 Calculating the best mappings after 72 cycles. Best mapping of SMART is HUNGRY. 0.70 Best mapping of TALL is FRIENDLY. 0.71 Best mapping of TIMID is FRISKY. 0.54 Best mopping of TOM is BLACKIE. 0.70 Best mapping of STEVE is FIDO. 0.54 Best mopping of BILL is ROVER. 0.71 by ACME for this example. The five sentences correspo...

Abstract This article aims to investigate the identity of Socrates, compiler AP 14.1-64 (arithmetic problems and riddles). Leaving aside traditional, but very uncertain, identification with Socrates epigrammatist (D.L. 2.47), it is shown that chronological conjecture by Carcopino 1926 (late 1st century BC -2nd AD ) no longer holds. A wider time frame established (1st-4th centuries ), although e...