On Fri Nov 28 2014 at 3:54:39 PM Vijay Saraswat <vi...@saraswat.org> wrote:
> Interesting. Thanks for telling the list about it.
>
> Is there an associated technical paper?
>
Thank you for the interest! Yes, a technical paper will be published next
week. You can already access it through our project page:
https://bitbucket.org/cogumbreiro/armus/downloads/armus.pdf
Any feedback, specially regarding the distributed verification, is much
appreciated.
Thanks,
Tiago
------------------------------------------------------------------------------
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
from Actuate! Instantly Supercharge Your Business Reports and Dashboards
with Interactivity, Sharing, Native Excel Exports, App Integration & more
Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.clktrk
_______________________________________________
X10-users mailing list
X10-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/x10-users