Blogmarks.net is a social bookmarking service.

Founded in late 2003 and heartquartered in France, we are non-profit and independant.

We believe in the open web, think internet services should be sustainable, build for the long term.

While we are re-launching the service, we only accept new members through invitation.

PUBLIC MARKS with tags research & method

May 2006

Sociology and evaluation resources

by wrijneveld

woordendaad system:imported development evaluation research method education oa

January 2006

The TLA Tools Project

by GeorgesMariano

The goal of this project is to develop methods and tools that will permit engineers to apply formal specification and verification to high-level designs of concurrent algorithms and systems. We believe this can significantly improve the design process

research del.icio.us software microsoft logic method formal TLA

1 (2 marks)

PUBLIC TAGS related to tag research

Active users

wrijneveld
last mark : 09/05/2006 06:07

GeorgesMariano
last mark : 16/01/2006 12:42