On Wed, Mar 14, 2001 at 11:37:34AM -0800, Alfred Perlstein wrote: > > ALL the time. Microsoft has given the UC-Davis security and formal > > verification lab a multi-year grant to look at this problem. > > (the approach being researched is "model checking") > > How does one get the forms for these sort of grants? :) Write white paper, submit to M$. Or network at conference, have M$ friend tell you a proposal would be meet open arms. The typical University/research way of getting [commercial] grants. -- -- David ([EMAIL PROTECTED]) GNU is Not Unix / Linux Is Not UniX To Unsubscribe: send mail to [EMAIL PROTECTED] with "unsubscribe freebsd-hackers" in the body of the message
- Re: The ideal NIC (Re: if_fxp - the real point) Michael C . Wu
- Re: if_fxp - the real point Lyndon Nerenberg
- Re: if_fxp - the real point Matthew Jacob
- Re: if_fxp - the real point Jeroen Ruigrok/Asmodai
- Re: if_fxp - the real point Dennis
- Re: if_fxp - the real point Alfred Perlstein
- Re: if_fxp - the real point Dennis
- Re: if_fxp - the real point Alfred Perlstein
- Re: if_fxp - the real point David O'Brien
- Re: if_fxp - the real point Alfred Perlstein
- Re: if_fxp - the real point David O'Brien
- Re: if_fxp - the real point Dennis
- Re: if_fxp - the real point Alfred Perlstein
- Re: if_fxp - the real point Kent Stewart
- Re: if_fxp - the real point David O'Brien
- Re: if_fxp - the real point David O'Brien
- Re: if_fxp - the real point Dennis
- Re: if_fxp - the real point Nate Williams
- Re: if_fxp - the real point Chistopher S. Weimann
- Re: if_fxp - the real point Dennis
- Re: if_fxp - the real point Chris Dillon