Search
Search Funnelback University
- Refined by:
- Date: 2002
231 -
240 of
586
search results for news
Fully-matching results
-
The memorability and security of passwords -- some empirical results
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-500.pdf30 Sep 2002: 2 Existing Advice on Password Selection. Many large organisations give specific advice to new users about how to selecta ”good password”. ... Now log on using the initial password you have been issued, change yourpassword to the new random password -
Constraint satisfaction
www-g.eng.cam.ac.uk/mmg/teaching/artificialintelligence/nonflash/constraint1.htm31 Jan 2002: 1. Select an unexpanded node of the search graph. 2. Apply the constraint inference rules to the selected node to generate all possible new constraints. ... 5. Else apply the problem space rules to generatre new partial solutions which are consistent -
Applied π – A Brief Tutorial Peter Sewell Computer ...
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-498.pdf26 Sep 2002: If A = {a1,. an} then new A in P denotes new a1 in. ... 19. code, one might take a new syntactic category of configuration, e.g. -
Experience Using a Low-Cost FPGA Design to Crack DES Keys
https://www.cl.cam.ac.uk/~rnc1/DEScracker.pdf1 May 2002: The attack was not only successful in its aims, but alsoshed new light on the vulnerabilities being exploited. ... We also found a new way of demonstrating that the DES S-boxes are notas random as they might at first appear. -
Robust Accurate Statistical Annotation of General Text Ted Briscoe∗…
https://www.cl.cam.ac.uk/~ejb1/lrec-02.pdf14 Jun 2002: the EdinburghTTT system, Groveret al., 2000). However, it is simple toadd additional rules when new corpora reveal specific prob-lems. ... Its relative domain-independence coupled with competitive levels of accuracymake it especially practical for easy -
Nomadic π-Calculi: Expressing and Verifying Communication…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-514.pdf26 Sep 2002: The latter are typically less efficient, but simple to maintain and toport to new systems. ... Secondly, new proof techniques are required to capture thedesign intuitions regarding mobile agents. -
Workshop Report for IPTPS'02, 1st International Workshop on…
https://www.cl.cam.ac.uk/~rnc1/IPTPS02Report.pdf19 Apr 2002: Q. Are theremany new files? A. Yes, it is characteristic of scientific collaborations that newfiles are created. ... Current work ison the effect of particular algorithms and looking for new types of operation. -
Modules, Abstract Types, and Distributed Versioning Peter Sewell∗…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-506.pdf26 Sep 2002: To a first approximation, C2 above reduces to. New z : int chan instruct. ... 3. The representation type is unchanged but the new code has changed invariants. -
8. Growth and Exit routes
https://www.cl.cam.ac.uk/teaching/2001/Business/Bl8.ppt20 Mar 2002: 8. Growth and Exit routes. New markets: horizontal and vertical expansion. ... New markets. Horizontal. Similar products or services. New Customers. Geographical/Export. New application area. -
Excess pore pressures under cyclically loaded model jack-up…
www-civ.eng.cam.ac.uk/geotech_new/publications/abstracts/abst-hsu.htm13 Feb 2002: In this new series of centrifugal tests, the effects of excess pore pressure under spud-can foundations of a scaled model three-leg offshore jack up structure subjected to horizontal cyclic
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.