Sciweavers

1767 search results - page 50 / 354
» Open Source Ecology
Sort
View
FOSAD
2009
Springer
16 years 5 days ago
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
Sebastian Mödersheim, Luca Viganò
SEKE
2009
Springer
16 years 4 days ago
FiGD: An Open Source Intellectual Property Violation Detector
Carson Brown, David Barrera, Dwight Deugo
120
Voted
LANC
2009
ACM
141views Education» more  LANC 2009»
16 years 3 days ago
GoalBit: the first free and open source peer-to-peer streaming network
María Elisa Bertinat, Daniel De Vera, Dar&i...
ARCS
2010
Springer
16 years 3 days ago
JetBench: An Open Source Real-time Multiprocessor Benchmark
Muhammad Yasir Qadri, Dorian Matichard, Klaus D. M...