16206 search results - page 2978 / 3242 » At Issue |
166
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
A few years ago a portal for bachelor and master theses from Flemish university colleges was established by means of the open source repository software DoKS. At present approxima...
181
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
The principal aim of Project StORe is to provide middleware that will enable bi-directional links between source repositories of research data and the output repositories containi...
218
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
For national advisory services in the UK (UKOLN, CETIS, and OSS Watch), varieties of openness (open source software, open standards, and open access to research publications and d...
177
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
155
click to vote
FC
2010
Springer
15 years 10 months ago
2010
Springer
Key management is the Achilles’ heel of cryptography. This work presents a novel Key-Lifecycle Management System (KLMS), which addresses two issues that have not been addressed ...