Search Sciweavers | Sciweavers

2203 search results - page 55 / 441

» The business of open source

click to vote

FOSAD
2009
Springer

202views Security Privacy» more FOSAD 2009»

The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols

14 years 4 months ago

Download www-verimag.imag.fr

We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-ﬂy Model Checker (the previous OFMC). The native inpu...

Sebastian Mödersheim, Luca Viganò

claim paper

Read More »

click to vote

SEKE
2009
Springer

130views Software Engineering» more SEKE 2009»

FiGD: An Open Source Intellectual Property Violation Detector

14 years 4 months ago

Download www.ccsl.carleton.ca

Carson Brown, David Barrera, Dwight Deugo

claim paper

Read More »

click to vote

LANC
2009
ACM

141views Education» more LANC 2009»

GoalBit: the first free and open source peer-to-peer streaming network

14 years 4 months ago

Download goalbit.sourceforge.net

María Elisa Bertinat, Daniel De Vera, Dar&i...

claim paper

Read More »

click to vote

ARCS
2010
Springer

262views Software Engineering» more ARCS 2010»

JetBench: An Open Source Real-time Multiprocessor Benchmark

14 years 4 months ago

Download www.essex.ac.uk

Muhammad Yasir Qadri, Dorian Matichard, Klaus D. M...

claim paper

Read More »

click to vote

ASWEC
2008
IEEE

151views Software Engineering» more ASWEC 2008»

Open Source Communities as Social Networks: An Analysis of Some Peculiar Characteristics

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers