Search Sciweavers | Sciweavers

1767 search results - page 50 / 354

» Open Source Ecology

click to vote

IWPC
2009
IEEE

90views Software Engineering» more IWPC 2009»

Observation of Open Source programmers' information seeking

14 years 2 months ago

Download www.ppig.org

Khaironi Yatim Sharif, Jim Buckley

claim paper

Read More »

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 2 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 2 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 2 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 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers