Hello Misters, As you are GUI experts, I am asking your help.
I am attempting to build up a team. I believe it's time for a full-fledge verified OS. The graphic part is essential nowadays. If somebody is interested in functional programming and in formal methods to help to implement a trusted GUI with the XHSB protocol, he is welcome :) Soon a Trusted Enlightenment ? :) XHSB ( X Haskell Bindings ) : http://lists.freedesktop.org/archives/xcb/2006-January/001278.html Here is an example of a protocol formalisation and a trusted GUI : network stack : http://www.cl.cam.ac.uk/~pes20/Netsem/ trusted GUI : http://demo.tudos.org/nitpicker_tutorial.html If you want to contact me, my mail is guillaume_dot_fortaine_at_wanadoo_dot_fr I will set up a mailing-list, a web server, a wiki and an IRC Best Regards, Guillaume FORTAINE ------------------------------------------------------------------------- Using Tomcat but need to do more? Need to support web services, security? Get stuff done quickly with pre-integrated technology to make your job easier Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642 _______________________________________________ enlightenment-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/enlightenment-users
