Sciweavers

3468 search results - page 111 / 694
» An open logical framework
Sort
View
126
Voted
ECEASST
2010
14 years 7 months ago
Security Evaluation and Hardening of Free and Open Source Software (FOSS)
Abstract: Recently, Free and Open Source Software (FOSS) has emerged as an alternative to Commercial-Off-The-Shelf (COTS) software. Now, FOSS is perceived as a viable long-term sol...
Robert Charpentier, Mourad Debbabi, Dima Alhadidi,...
ICWE
2005
Springer
15 years 6 months ago
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
Marco Brambilla, Alin Deutsch, Liying Sui, Victor ...
82
Voted
BTW
2009
Springer
93views Database» more  BTW 2009»
15 years 4 months ago
Die Migration von Hibernate nach OpenJPA: Ein Erfahrungsbericht
: Persistenzframeworks sind komplexe Softwarelösungen für die Speicherung und das Auffinden von Objekten in relationalen Datenbanken. Immer wichtiger für die Weiterentwicklung s...
Uwe Hohenstein, Michael C. Jäger
86
Voted
ICTAI
2009
IEEE
15 years 7 months ago
EBLearn: Open-Source Energy-Based Learning in C++
Energy-based learning (EBL) is a general framework to describe supervised and unsupervised training methods for probabilistic and non-probabilistic factor graphs. An energy-based ...
Pierre Sermanet, Koray Kavukcuoglu, Yann LeCun
NOCS
2007
IEEE
15 years 7 months ago
Towards Open Network-on-Chip Benchmarks
Measuring and comparing performance, cost, and other features of advanced communication architectures for complex multi core/multiprocessor systems on chip is a significant challe...
Cristian Grecu, André Ivanov, Partha Pratim...