Sciweavers

60 search results - page 5 / 12
» Data Certification
Sort
View
ECEASST
2010
13 years 7 months ago
Integrating Data from Multiple Repositories to Analyze Patterns of Contribution in FOSS Projects
: The majority of Free and Open Source Software (FOSS) developers are mobile and often use different identities in the projects or communities they participate in. These characteri...
Sulayman K. Sowe, Antonio Cerone
IFM
2010
Springer
183views Formal Methods» more  IFM 2010»
13 years 8 months ago
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
Javier de Dios, Manuel Montenegro, Ricardo Pe&ntil...
BIOINFORMATICS
2005
89views more  BIOINFORMATICS 2005»
13 years 10 months ago
Doelan: a solution for quality control monitoring of microarray production
: Doelan is an automated tool to check the quality of produced DNA microarrays. This software is based on the execution of test suites on quality control data to validate batches o...
Laurent Jourdren, Stéphane Le Crom
FC
2005
Springer
149views Cryptology» more  FC 2005»
14 years 3 months ago
Ciphire Mail Email Encryption and Authentication
Abstract. Ciphire Mail is cryptographic software that provides email encryption and digital signatures. The Ciphire Mail client resides on the user's computer between the emai...
Lars Eilebrecht
ICPADS
2007
IEEE
14 years 4 months ago
Embedded education for Computer Rank Examination
Embedded system has become one of the most important directions in computer education. Embedded system is at the intersection of control system, command and control, wireless data...
Tianzhou Chen, Weihua Hu, Qingsong Shi, Hui Yan