
	Where results make sense

Topic: Endless loop

Related Topics

Pirate decryption

Backdoor

Secure cryptoprocessor

ASIC

Viaccess

ISO 7816

Nagra

Conax

Trojan Horse

	Viruslist.com - Net-Worm.Win32.Slammer
		In the spreading loop the worm sends itself to random IP addresses (depending on the random counter), to the MS SQL port 1434.
		Because MS SQL servers are often used on the Web this worm may cause a global INet DoS attack, because all infected servers will try to connect to other randomly selected machines in an endless loop - and this will cause a global INet traffic overflow.
		The worm is memory only, and it spreads from an infected machine's memory to a victim machine's memory.
	www.viruslist.com /en/viruslist.html?id=59159 (341 words)

	PressThink: Big Wigs Confer, Part Three
		Is it authentic; is it accurate; is it comprehensive; what is its business plan?
		Are there subjects on which the process fails, or enters and endless loop?
		Are there points in the process when it shuts down, or must be shut down?
	www.journalism.nyu.edu /pubzone/weblogs/pressthink/2005/01/26/bkm_iii.html (6556 words)

	Automated Reasoning
		Some of the main obstacles: First, LK does not specify the order in which the rules must be applied in the construction of a proof tree.
		Second, and as a particular case of the first problem, the premises in the rules ∀→ and →∃ rules inherit the quantificational formula to which the rule is applied, meaning that the rules can be applied repeatedly to the same formula sending the proof search into an endless loop.
		Third, LK does not indicate which formula must be selected next in the application of a rule.
	plato.stanford.edu /entries/reasoning-automated (12208 words)

Try your search on: Qwika (all wikis)