Sciweavers

1767 search results - page 50 / 354
» Open Source Ecology
Sort
View
IWPC
2009
IEEE
16 years 24 days ago
Observation of Open Source programmers' information seeking
Khaironi Yatim Sharif, Jim Buckley
FOSAD
2009
Springer
16 years 22 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 21 days ago
FiGD: An Open Source Intellectual Property Violation Detector
Carson Brown, David Barrera, Dwight Deugo
LANC
2009
ACM
141views Education» more  LANC 2009»
16 years 20 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 20 days ago
JetBench: An Open Source Real-time Multiprocessor Benchmark
Muhammad Yasir Qadri, Dorian Matichard, Klaus D. M...