María Alpuente - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged certification

A Tool for Automated Certification of Java Source Code in MaudeMauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero. ENTCS, 248:19-29, 2009. [doi]

Abstract Certification of Global Non-interference in Rewriting LogicMauricio Alba-Castro, María Alpuente, Santiago Escobar. FMCO 2010: 105-124 [doi]

Automated Certification of Non-Interference in Rewriting LogicMauricio Alba-Castro, María Alpuente, Santiago Escobar. fmics 2009: 182-198 [doi]

Secure Certification for ePortfoliosLisha Chen-Wilson, Patrick Newcombe, Piers Royce, Samuel Ong, Timothy Wonnacott, Gary Wills, David Argles. icalt 2008: 744-745 [doi]

Anti-plagiarism certification be an academic mandateSadasivuni Lakshminarayana. jasis, 59(13):2194, 2008. [doi]

Automatic Certification of Java Source Code in Rewriting LogicMauricio Alba-Castro, María Alpuente, Santiago Escobar. fmics 2008: 200-217 [doi]

The Certification of Software Tools with respect to Software StandardsPanuchart Bunyakiati, Anthony Finkelstein, David S. Rosenblum. iri 2007: 724-729 [doi]

A Framework for Revocation of Proxy Certificates in a GridShushan Zhao, Akshai K. Aggarwal, Robert D. Kent. snpd 2007: 532-537 [doi]

Digital Forensic Certification BoardN. Dudley-Gough. di, 3(1):7-8, 2006. [doi]

A Guide to the Nightmares of the Certification Service ProviderLenka Kadlcáková. europki 2006: 251-253 [doi]

Industry certification: value, validity, and a place for SoDIS®Leo Hitchcock. SIGCSE, 37(4):59-63, 2005. [doi]

Utilizing verification and validation certificates to estimate software defect densityMark Sherriff. ESEC/FSE 2005: 381-384 [doi]

Understanding Managers Intent to Use IT Certification as a Selection Tool in the Hiring ProcessD. Scott Hunsinger. ijcss, 6(2):35-43, 2005. [doi]

Self-certification and trust in component procurementHans-Gerhard Gross, M. Melideo, A. Sillitti. SCP, 56(1-2):141-156, 2005. [doi]

Quality management and certification in the virtual enterpriseAngelo Martins, João José Pinto Ferreira, José M. Mendonça. ijcim, 17(3):212-223, 2004. [doi]

Computer Forensics: The Need for Standardization and CertificationMatthew Meyers, Marc Rogers. ijde, 3(2), 2004. [doi]

Recursive Certificate Structures for X.509 SystemsSelwyn Russell. europki 2004: 135-148 [doi]

Academic Degrees and Professional CertificationDeborah A. Frincke, Matt Bishop. ieeesp, 2(6):56-58, 2004. [doi]

Toward an automated verification of certificates of authenticityDarko Kirovski. sigecom 2004: 160-169 [doi]

Decision-Support for Certification by Calculating the Evidential Volume of a ProductSilke Kuball, Gordon Hughes. dsn 2003: 15-24 [doi]

Bridge Certification Authorities: Connecting B2B Public Key Infrastructure with PAK and Zero-Knowledge ProofGustavo A. Santana Torrellas, Torella Sarturo, Arturo Torres Dominquez. cimca 2003: 182-187

A Weakness in Smart Card PKI CertificationAdam Young. cimca 2003: 30-34

A comparative study on motivation for and experience with ISO 9000 and ISO 14000 certification among Far Eastern countriesJeh-Nan Pan. imds, 103(8):564-578, 2003. [doi]

Component Certification - What is the Value?Lars Bratthall, Johan Hasselberg, Brad Hoffman, Zbigniew Korendo, Bruno Schilli, Lars Gundersen. PROFES 2002: 119-133 [doi]

Toward QoS Certification of Real-Time Distributed Computing SystemsK. H. Kim. hase 2002: 177-188 [doi]

World-class product certification using ErlangUlf Wiger, Gösta Ask, Kent Boortz. erlang 2002: 24-33 [doi]

Using Two-way Audio Video Desktop Technology to Support Educators Seeking Educational Diagnostician Certification in a Distance Education ProgramMaría Victoria Pérez Cereijo, Jane B. Pemberton, Joyce Rademacher, Tandra Tyler-Wood. webnet 2001: 1409-1411

Quality certification in the virtual enterprise: An objective tool for supply chain management and customer satisfactionAngelo Martins, João José Pinto Ferreira, José M. Mendonça. ifip5-3 2000: 479-486

Score certificate numbers of upset tournamentsJeffrey L. Poet, Bryan L. Shader. DAM, 103(1-3):177-189, 2000.

Electronic Notary System and its Certification MechanismShinichi Nakahara. ecis 2000: 844-849 [doi]

Windowed Certificate RevocationPatrick Drew McDaniel, Sugih Jamin. infocom 2000: 1406-1414 [doi]

Verification and Validation in Support for Software Certification MethodsAnca I. Vermesan, Jarle Sjøvag, Per Martinsen, Keith Bell. eurovav 1999: 277-293

Secure Communication in an Unknown Network Using CertificatesMike Burmester, Yvo Desmedt. asiacrypt 1999: 274-287

New models for the management of public key infrastructure and root certification authoritiesStephen Wilson. imcs, 7(4):166-170, 1999. [doi]

Certification of algorithm 734: a Fortran 90 code for unconstrained nonlinear minimizationTim Hopkins. TOMS, 24(3):351-354, 1998. [doi]

Year 2000 Compliance: A Discussion on Compliance CertificationRobert A. Martin. compsac 1997: 283-284 [doi]

Certificates and trust in electronic commerceStephen Wilson. imcs, 5(5):175-181, 1997. [doi]

EdCert: education certification for computing support professionalsDiane Jung-Gribble. siguccs 1995: 169-173 [doi]

Practical Solution for Implementing a Certification PathJaroslaw Tymowski. electronicmarkets, 5(3):15, 1995. [doi]

FAA Certification of Ada Run-Time SystemsSteen Silberg, Thorkil B. Rasmussen. Ada-Europe 1994: 489-498

On Problems with Short CertificatesGraham Farr. ACTA, 31(5):479-502, 1994.

Algorithm 519: Three Algorithms for Computing Kolmogorov-Smirnov Probabilities with Arbitrary Boundaries and a Certification of Algorithm 487 [S14]Ralph Kallman. TOMS, 3(3):285-294, 1977. [doi]

Micellany - Certification of Computerized SystemsVal Silbey, Elizabeth Lurie. DB, 7(3):27-28, 1976. [doi]

Certification of Algorithm 349: Polygamma Functions with Arbitrary Precision John Gregg Lewis. TOMS, 1(4):380-382, 1975. [doi]

Certification of Algorithm 30: Numerical solution of the polynomial equationJohn J. Kohfeld. CACM, 10(5):293, 1967. [doi]

Certification of algorithm 243 [B3]: logarithm of a complex numberJ. Boothroyd. CACM, 8(5):279, 1965. [doi]

Certification of algorithm 181: Complementary error function - large XI. Clausen, L. Hansson. CACM, 7(12):702, 1964. [doi]

Certification of algorithms 120 and matrix inversion by Gauss-Jordan inversion IIPeter Naur. CACM, 6(1):40, 1963. [doi]

Certification of algorithms 117 and 118 magic squares (even and odd orders)Peter Naur. CACM, 6(1):39-40, 1963. [doi]

Certification of Algorithm 50: Inverse of a finite segment of the Hilbert matrixBrian Randell. CACM, 5(1):50, 1962. [doi]

runs on WebDSL