yusuke1997/dblp-id-title huggingface dataset:
A Strategy for Finding Roots of Multivariate Polynomials with New Applications in Attacking RSA Variants
Actively Secure Private Function Evaluation
New Protocols for Electronic Money
On Split-State Quantum Tamper Detection
Partial Key Exposure Attack on Short Secret Exponent CRT-RSA
Improved Single-Round Secure Multiplication Using Regenerating Codes
Determining the Core Primitive for Optimally Secure Ratcheting
Finding Second Preimages of Short Messages for Hamsi-256
Format-Preserving Compression-Tolerating Authenticated Encryption for Images
Tradeoff Cryptanalysis of Memory-Hard Functions
Two Provers in Isolation
Revisiting Pairing-Friendly Curves with Embedding Degrees 10 and 14
Cryptanalysis of 3-Pass HAVAL
Advances in Cryptology - ASIACRYPT 2003, 9th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, November 30 - December 4, 2003, Proceedings
Efficient Secure Multi-party Computation
Registered (Inner-Product) Functional Encryption
Verifiable Oblivious Pseudorandom Functions from Lattices: Practical-Ish and Thresholdisable
Dishonest Majority Constant-Round MPC with Linear Communication from DDH
Better Security-Efficiency Trade-Offs in Permutation-Based Two-Party Computation
More Powerful and Reliable Second-Level Statistical Randomness Tests for NIST SP 800-22
ML-Sequences over Rings Z/(2 e ) * : I. Constructions of Nondegenerative ML-Sequences II. Injectiveness of Compression Mappings of New Classes
Mild Asymmetric Message Franking: Illegal-Messages-Only and Retrospective Content Moderation
Multi-input Functional Encryption with Unbounded-Message Security
Attacks and Countermeasures for White-box Designs
Privacy-Preserving Pattern Matching on Encrypted Data
Subliminal Channels for Signature Transfer and Their Application to Signature Distribution Schemes
Towards Tightly Secure Lattice Short Signature and Id-Based Encryption
Provable Security of Linux-DRBG in the Seedless Robustness Model
A Critical Analysis of ISO 17825 ('Testing Methods for the Mitigation of Non-invasive Attack Classes Against Cryptographic Modules')
Solving Equations in Sequences
A Universally Composable Non-interactive Aggregate Cash System
IND-CPA-D and KR-D Security with Reduced Noise from the HintLWE Problem
Simulation-Based Bi-Selective Opening Security for Public Key Encryption
Notions of Black-Box Reductions, Revisited
Construction of m-ary de Bruijn Sequences (Extendet abstract)
Tighter Proofs for PKE-to-KEM Transformation in the Quantum Random Oracle Model
How to Circumvent the Two-Ciphertext Lower Bound for Linear Garbling Schemes
Secure Channels Based on Authenticated Encryption Schemes: A Simple Characterization
From Fixed-Length to Arbitrary-Length RSA Padding Schemes
Advances in Cryptology - ASIACRYPT 2021 - 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6-10, 2021, Proceedings, Part III
Unconditionally Secure Multiparty Computation for Symmetric Functions with Low Bottleneck Complexity
Why Textbook ElGamal and RSA Encryption Are Insecure
Beyond-Birthday-Bound Security with HCTR2: Cascaded Construction and Tweak-Based Key Derivation
Improving Speed and Security in Updatable Encryption Schemes
How to Sequentialize Independent Parallel Attacks? - Biased Distributions Have a Phase Transition
A Weakness in Some Oblivious Transfer and Zero-Knowledge Protocols
Leakage-Resilient Authenticated Key Establishment Protocols
Secret Handshakes from CA-Oblivious Encryption
The Preimage Security of Double-Block-Length Compression Functions
The Minimum Number of Cards in Practical Card-Based Protocols
A New Algorithm for the Unbalanced Meet-in-the-Middle Problem
Improved Straight-Line Extraction in the Random Oracle Model with Applications to Signature Aggregation
Key-Schedule Security for the TLS 1.3 Standard
LatticeFold: A Lattice-Based Folding Scheme and Its Applications to Succinct Proof Systems
Scrutinizing and Improving Impossible Differential Attacks: Applications to CLEFIA, Camellia, LBlock and Simon
Constructing Large Cryptographically Strong S-boxes
On the Untapped Potential of Encoding Predicates by Arithmetic Circuits and Their Applications
Preventing CLT Attacks on Obfuscation with Linear Overhead
Bootstrapping Small Integers With CKKS
Bit Security as Computational Cost for Winning Games with High Probability
Digital Signatures with Memory-Tight Security in the Multi-challenge Setting
A Tale of Two Shares: Why Two-Share Threshold Implementation Seems Worthwhile - and Why It Is Not
Simulatable Leakage: Analysis, Pitfalls, and New Constructions
Constructing Confidential Channels from Authenticated Channels - Public-Key Encryption Revisited
Twisted Edwards Curves Revisited
Cryptanalysis of Masked Ciphers: A Not So Random Idea
Oblivious Network RAM and Leveraging Parallelism to Achieve Obliviousness
Divide-and-Conquer Trail Enumeration Puncturing: Application to Salsa and ChaCha
Simple Refreshing in the Noisy Leakage Model
Dual Support Decomposition in the Head: Shorter Signatures from Rank SD and MinRank
Multi-Key Homomorphic Encryption from TFHE
Efficient IBE with Tight Reduction to Standard Assumption in the Multi-challenge Setting
Fuzzy Private Set Intersection from VOLE
Two-Round Adaptively Secure MPC from Isogenies, LPN, or CDH
A Near-Practical Attack Against B Mode of HBB
Oblivious RAM with O((logN)3) Worst-Case Cost
Solving Linear Equations Modulo Divisors: On Factoring Given Any Bits
Generalized Channels from Limited Blockchain Scripts and Adaptor Signatures
Fully Secure Unbounded Inner-Product and Attribute-Based Encryption
New Algorithms and Analyses for Sum-Preserving Encryption
Cryptanalyzing the Polynomial-Reconstruction Based Public-Key System Under Optimal Parameter Choice
Tardigrade: An Atomic Broadcast Protocol for Arbitrary Network Conditions
Synthesizing Quantum Circuits of AES with Lower T-depth and Less Qubits
Dual-System Simulation-Soundness with Applications to UC-PAKE and More
CSI-FiSh: Efficient Isogeny Based Signatures Through Class Group Computations
Incidence Structures for Key Sharing (Extended Abstract)
Simple Threshold (Fully Homomorphic) Encryption from LWE with Polynomial Modulus
Updatable Zero-Knowledge Databases
Forgery and Partial Key-Recovery Attacks on HMAC and NMAC Using Hash Collisions
On the Hardness of the Computational Ring-LWR Problem and Its Applications
Differential Attacks against Stream Cipher ZUC
Parallelizable and Authenticated Online Ciphers
Possibility and Impossibility Results for Receiver Selective Opening Secure PKE in the Multi-challenge Setting
On the Adaptive Security of MACs and PRFs
Pairing-Based Aggregate Signatures Without Random Oracles
New Approaches to Password Authenticated Key Exchange Based on RSA
Robustly Reusable Fuzzy Extractor from Standard Assumptions
Quantum Collision Attacks on AES-Like Hashing with Low Quantum Random Access Memories
Zero-Knowledge Functional Elementary Databases
Nostradamus Goes Quantum
Linearization Framework for Collision Attacks: Application to CubeHash and MD6
Fairness versus Guaranteed Output Delivery in Secure Multiparty Computation
Group-Oriented Undeniable Signature Schemes without the Assistance of a Mutually Trusted Party
Modelling Ciphers with Overdefined Systems of Quadratic Equations: Application to Friday, Vision, RAIN and Biscuit
Non-interactive Composition of Sigma-Protocols via Share-then-Hash
A Mix-Net from Any CCA2 Secure Cryptosystem
A Fast Software Implementation for Arithmetic Operations in GF(2 n )
Program Obfuscation with Leaky Hardware
Optimistic Concurrent Zero Knowledge
A Simple and Efficient Framework of Proof Systems for NP
Unbounded Dynamic Predicate Compositions in ABE from Standard Assumptions
BrakingBase - A Linear Prover, Poly-Logarithmic Verifier, Field Agnostic Polynomial Commitment Scheme
Quantum Multicollision-Finding Algorithm
To Attest or Not to Attest, This is the Question - Provable Attestation in FIDO2
The World Is Not Enough: Another Look on Second-Order DPA
Midori: A Block Cipher for Low Energy
Blockwise Rank Decoding Problem and LRPC Codes: Cryptosystems with Smaller Sizes
We are on the Same Side. Alternative Sieving Strategies for the Number Field Sieve
Selective-Opening Security in the Presence of Randomness Failures
SQL on Structurally-Encrypted Databases
Collision Attacks against the Knudsen-Preneel Compression Functions
Categorization of Faulty Nonce Misuse Resistant Message Authentication
Black-Box Separations for Differentially Private Protocols
New SIDH Countermeasures for a More Efficient Key Exchange
An Efficient Structural Attack on NIST Submission DAGS
Oblivious Pseudorandom Functions from Isogenies
UC-Secure Multiparty Computation from One-Way Functions Using Stateless Tokens
Adaptively Secure Threshold Blind BLS Signatures and Threshold Oblivious PRF
SPHF-Friendly Non-interactive Commitments
MD5 Is Weaker Than Weak: Attacks on Concatenated Combiners
PointProofs, Revisited
How to Build Fully Secure Tweakable Blockciphers from Classical Blockciphers
Block Cipher Invariants as Eigenvectors of Correlation Matrices
Advances in Cryptology - AUSCRYPT '90, International Conference on Cryptology, Sydney, Australia, January 8-11, 1990, Proceedings
Collision Resistant Hashing from Sub-exponential Learning Parity with Noise
A Search to Distinguish Reduction for the Isomorphism Problem on Direct Sum Lattices
Hard-Label Cryptanalytic Extraction of Neural Network Models
Constrained Pseudorandom Functions and Their Applications
Leakage-Resilient Incompressible Cryptography: Constructions and Barriers
Observations on Non-repudiation
Towards Compressed Permutation Oracles
Ideal-to-Isogeny Algorithm Using 2-Dimensional Isogenies and Its Application to SQIsign
Towards Practical Topology-Hiding Computation
Zero-Knowledge Arguments for Lattice-Based PRFs and Applications to E-Cash
Solving LPN Using Covering Codes
Computational Fuzzy Extractors
Optimising Linear Key Recovery Attacks with Affine Walsh Transform Pruning
Type 2 Structure-Preserving Signature Schemes Revisited
The Provable Security of Graph-Based One-Time Signatures and Extensions to Algebraic Signature Schemes
On the Concrete Security of BBS/BBS+ Signatures
On Time-Lock Cryptographic Assumptions in Abelian Hidden-Order Groups
Breaking the Size Barrier: Universal Circuits Meet Lookup Tables
Two Attacks on Rank Metric Code-Based Schemes: RankSign and an IBE Scheme
MicroCrypt Assumptions with Quantum Input Sampling and Pseudodeterminism: Constructions and Separations
Verifiable Decentralized Multi-client Functional Encryption for Inner Product
Too Many Hints - When LLL Breaks LWE
Constrained Pseudorandom Functions for Inner-Product Predicates from Weaker Assumptions
A Unified Approach to MPC with Preprocessing Using OT
Threshold PAKE with Security Against Compromise of All Servers
Quantum Attacks on Hash Constructions with Low Quantum Random Access Memory
More Vulnerabilities of Linear Structure Sbox-Based Ciphers Reveal Their Inability to Resist DFA
NEV: Faster and Smaller NTRU Encryption Using Vector Decoding
Compact Lattice-Coded (Multi-recipient) Kyber Without CLT Independence Assumption
Cryptanalysis of Sosemanuk and SNOW 2.0 Using Linear Masks
Simpler Statistically Sender Private Oblivious Transfer from Ideals of Cyclotomic Integers
Generic Attacks on Unbalanced Feistel Schemes with Expanding Functions
Three-Party ORAM for Secure Computation
Proofs of Security for the Unix Password Hashing Algorithm
Delving into Cryptanalytic Extraction of PReLU Neural Networks
A New Decryption Failure Attack Against HQC
The Direction of Updatable Encryption Does Not Matter Much
Unclonable Non-interactive Zero-Knowledge
A Comparison and a Combination of SST and AGM Algorithms for Counting Points of Elliptic Curves in Characteristic 2
A Shuffle Argument Secure in the Generic Model
Extractable Witness Encryption for KZG Commitments and Efficient Laconic OT
HIBE With Short Public Parameters Without Random Oracle
Advances in Cryptology - ASIACRYPT 2012 - 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings
Broadcast-Optimal Secure Computation from Black-Box Oblivious Transfer
A Subversion-Resistant SNARK
Efficient Fully Secure Computation via Distributed Zero-Knowledge Proofs
Multi-Client Functional Encryption for Linear Functions in the Standard Model from LWE
Advances in Cryptology - ASIACRYPT '91, International Conference on the Theory and Applications of Cryptology, Fujiyoshida, Japan, November 11-14, 1991, Proceedings
Secret-Sharing for NP
Advances in Cryptology - ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part II
On the Equivalence of RSA and Factoring Regarding Generic Ring Algorithms
Partially Non-interactive Two-Round Lattice-Based Threshold Signatures
Efficient KDM-CCA Secure Public-Key Encryption for Polynomial Functions
The AGM-X 0 (N) Heegner Point Lifting Algorithm and Elliptic Curve Point Counting
Large Primes in Stream Cipher Cryptography
Pseudorandomness of Decoding, Revisited: Adapting OHCP to Code-Based Cryptography
Improved Inner-Product Encryption with Adaptive Security and Full Attribute-Hiding
Efficient Zero-Knowledge Authentication Based on a Linear Algebra Problem MinRank
CCA-1 Secure Updatable Encryption with Adaptive Security
Signature Schemes with Bounded Leakage Resilience
A Secure Analog Speech Scrambler Using the Discrete Cosine Transform
Anonymous Quantum Communication
Leakage-Resilient Cryptography from the Inner-Product Extractor
A Public-Key Cryptosystem and a Digital Signature System BAsed on the Lucas Function Analogue to Discrete Logarithms
C'est Très CHIC: A Compact Password-Authenticated Key Exchange from Lattice-Based KEM
Strongly Secure Universal Thresholdizer
An Algebraic Formulation of the Division Property: Revisiting Degree Evaluations, Cube Attacks, and Key-Independent Sums
Full Quantum Equivalence of Group Action DLog and CDH, and More
Key Difference Invariant Bias in Block Ciphers
Tamper Resilient Circuits: The Adversary at the Gates
The First Thorough Side-Channel Hardware Trojan
Quantum Algorithms for Fast Correlation Attacks on LFSR-Based Stream Ciphers
KVaC: Key-Value Commitments for Blockchains and Beyond
Generic Homomorphic Undeniable Signatures
Testing Exploratorio en la Práctica
Supporting Ontology Development with ODEd
Diseño de Bases de Datos Objeto-Relacionales con UML
Una Abstracción Posible del Toyotismo Subtensa en un Modelo Concurrente de Ciclo de Vida de Software
Un Ambiente de Explotación de Información basado en la Integración de Agrupamiento, Inducción y Ponderación Bayesiana de Reglas
El Rol de la Cibermetría en el Diagnóstico de Usabilidad de Sitios Web
Metrics for Expert Systems Conceptualization
PSPm na Melhoria da Competência Pessoal no Desenvolvimento de Software
Migração de aplicações cliente/servidor para a plataforma Web usando metamodelos
Modelado de Aplicaciones con Procesos Concurrentes y Distribuidos
Construcción de un KMS a través de una Metodología Sistémica: Un caso de estudio
Un Modelo de Proceso para Educción de Requisitos en Proyectos de Data Mining
Un Acercamiento a los Modelos Multidimensionales Espacio Temporales
INDIGO: una Propuesta de Planificación en Inteligencia Artificial para la Composición de Servicios Web Semánticos
Integrando Agentes no Ambiente de Desenvolvimento de Software ODE
Analysis of an Artifact Oriented Test Process Model and of Testing Aspects of ISO/IEC 15504
Transformación de Vistas Arquitectónicas Orientada por Modelos
A Minimal OCL-based Profile for Model Transformation
Extensión a WSIL para la búsqueda y descubrimiento de servicios Web con calidad
Requisitos No Funcionales: Evaluando el Impacto de Decisiones
Minería de Datos Aplicada a la Detección de Patrones Delictivos en Argentina
Modelo Multiagente en Sistemas de Misión Crítica Aplicado al Control de Trafico Aéreo Bajo el Concepto de Free Flight
Utilizando Redes de Petri na Modelagem da Dinâmica de Sistemas Orientados a Objetos
Un Modelo de Evaluación Adaptativa del Nivel de Conocimientos en Sistemas Tutoriales Inteligentes
Un Análisis Crítico Comparativo de Modelos y Estándares Relacionados con la Adquisición de Software
Revisión de los Atributos Contextuales que influyen en la Selección de Técnicas de Educción de Requisitos
A Organização de uma Máquina de Processo e a Melhoria do Processo de Produção de Software em um Ambiente de Fábrica
Arquitectura Conceptual para Enriquecer la Gestión del Conocimiento Basada en Objetos Simbólicos
Casos de (Re)Uso: Uma Abordagem para Reuso de Software Interativo Dirigida por Casos de Uso e Padrões Concretos de Interação,
Estratégia de Reengenharia de Software Baseada em Componentes Usando Transformações
Usando Medição de Código Fonte para Refactoring
Mapeo de los Procesos de RUP respecto a MoProSoft
Estudio, Implantación y Resultados de la Adaptación Espacio Europeo de Educación Superior en las Asignaturas de Programación de la Titulación de Informática de la Universidad de Málaga
Atributos Contextuales Relevantes para la Selección de Técnicas de Educción de Requisitos
Avaliação da Disponibilidade de um Banco de Dados Distribuídos Através de Injeção de Falhas
El Uso de la Incertidumbre como Herramienta en la Ingeniería de Software
Enfoque de Metamodelado y Multiformalismo Aplicado al Proceso Software usando AToM3
Un Framework para Modelar un Entorno Groupware de Diseño de Software
Planificación de tareas en un Sistema de Computación Grid, para aplicaciones paralelas y/o secuenciales
Evolución del proceso de desarrollo de videojuegos en la Iniciativa Académica EDUMÓVIL
Adaptación, Recuperación y Almacenamiento de Contenidos Educativos Digitales para un Sistema Tutorial Inteligente
Un enfoque ADM para la Reingeniería de Bases de Datos Relacionales hacia Servicios Web
Um Processo de Engenharia de Requisitos Baseado em Reutilização de Ontologias e Padrões de Análise
Extensión del Lenguaje SQL con Nuevas Primitivas SQL para el Descubrimiento de Reglas de Clasificación
Uso de una Métrica de Calidad para Verificación y Validación de Cursos de Teleformación
Modelado del proceso de software con enfoque de negocio. Aplicación de los estándares BPMN y UML
Aspects Regarding Management of Software Projects that Influence the Quality of Software Products Released: The Case of Ecuador
TestingSoft: Desarrollo de Casos de Prueba de Software basado en Clases Equivalentes y Valores Límites
Arquitectura de una Caché para Almacenar sitios Web en Dispositivos Móviles Pocket PC
GraspKM en la Recuperación de la Estructura de Software
Implantação de Infra-estrutura para Implementação de Sistemas de Gerência de Conhecimento
Avaliando a Relação entre Tamanho-Complexidade e Número de Defeitos de Software em Nível de Módulo
Simulation of Social Processes Based on BDI Agents With Support to Exchange Values
Hacia una Metodología Orientada al Conocimiento para la Educción de Requisitos en Ingeniería del Software
Estrategias de Detección de "Feature Envy" en Aplicaciones Java
Aplicación de la Tecnología Bluetooth Orientada a la Integración de Servicios de Internet en Dispositivos Móviles
Evolução de um Processo ágil de Desenvolvimento baseado em framework,
Meta2Relational: Herramienta para la Gestión de Modelos de Procesos Software
Aplicando MDA al Diseño Conceptual de Almacenes de Datos
Definición y Automatización de los procesos de Pruebas de Software en un Laboratorio de Calidad
Artificial Neural Networks Designed as Components
Estratégia de Aquisição de Conhecimento: Uma Experiência no Projeto Nutri-Fuzzy-Orixás
Monitoring and Control of an Event-based Middleware
Organización de Conocimientos en Procesos de Ingeniería de Software por Medio de Modelado de Procesos: una Adaptación de SPEM
Experimento Exploratorio para la Validación de Medidas para Modelos de Procesos de Negocio
A Portlet-Based Service-Oriented Architecture for a second generation portal
Proceedings of 2nd Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'02), Salvador, Brasil, October 2002
MUM - Proceso de Desarrollo de Software Modularizado, Unificado y Medible
Especificación Formal de Elementos MoProSoft a partir del Modelo de Referencia de Flujos de Trabajo
Intérprete y Entorno de Desarrollo para el Aprendizaje de Lenguajes de Programación Estructurada
Idioms en E-R
Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio
Un modelo de Diálogo para la captura de requisitos en UN-Lencep
Como Organizar um Processo Fabril de Produção de Software
Computación Evolutiva y Teoría de Juegos: Un Híbrido Para La Automatización En Sistemas De Soporte A La Negociación
Analyzing and Designing Software Architecture Views driven by their Relationships
Optimizing Lies in State Oriented Domains based on Genetic Algorithms
(Re)Composición de modelos ER con Idioms
Agilidad y disciplina en el Proceso de Desarrollo de Software para PyMES y Cooperativas en Latinoamérica: CASO VENEZUELA
El Problema Cinemático en Manipuladores Robóticos Industriales un Abordaje de Solución mediante Redes Neuronales Artificiales
Elicitación de Requisitos Empleando UN-Lencep y Esquemas Preconceptuales
Marco Extendido para la Evaluación de Iniciativas de Mejora en Procesos en Ingeniería de Software
Una propuesta para el tratamiento de brotes epidámicos y de otros fenómenos espacio-temporales
Aplicación de un Modelo de Calidad para la Evaluación de Herramientas CASE Adaptado al Estándar Internacional ISO/IEC 14102
Robots y Juguetes Autónomos una Oportunidad en el Contexto de las Nuevas Tecnologías en Educación
Métricas de Madurez en Conceptualización de Sistemas Expertos
Sistema de E-Learning basado en Agentes de Software, Sistemas Tutoriales Inteligentes, Ambientes Colaborativos de Aprendizaje
Transformación de Patrones de Código Condicional Conducido por Patrones de Diseño Orientados a Objetos
Residência em Fábrica de Software: Um Caso Real e uma Proposta Genérica para a Normatização de Novos Programas
AMGraA: Uma Abordagem para Migração Gradativa de Aplicaçães
Asynchronous Merging of Software Ontologies: An Experience
Distributed Component-Based Software Development Strategy Integrated By MVCase Tool
Ontologías en el Desarrollo de Entornos Virtuales para Entrenamiento
MultiAgents Systems Methodology Based on a Study of Agent's Interaction
Un modelo de arquitectura para el aprendizaje y compartición de conocimiento entre sistemas inteligentes autónomos distribuidos
Monitoreo del Desempeño de los Factores de Seguridad de una Transacción Web a través de la Interfaz de Usuario
Desarrollo de un Código de Métricas para Pequeñas Empresas Ecuatorianas Desarrolladoras de Software
Uso da ferramenta de testes fSofist na validação de uma aplicação espacial
Paralelización de Consultas del tipo time-interval en Base de Espacio-Temporales
Evaluación de Arquitecturas de Software con ATAM (Architecture Tradeoff Analysis Method): Un Caso de estudio
Un método de Evaluación ágil del Proceso Software: Agile SPI - Process Assessment Method
TariyKDD: una Herramienta de Minería de Datos Débilmente Acoplada con un SGBD
Algoritmo para la Evaluación de la Calidad Sistémica Del Software
ProTest - Proceso de Testing Funcional
Desarrollo de Aplicaciones con Enfoque SOA (Service Oriented Architecture)
Esquema de Clasificación de Defectos para la mejora del Proceso Software en una Empresa de Telecomunicaciones de Ecuador
Diseño de la Interfaz Gráfica para Ambientes de Modelado y Simulación utilizando Patrones de Interacción
El Modelo de Negocios Decisional como origen de Especificación de Requisitos en Proyectos de Data Mining: Una Aproximación Metodológica mediante el Framework i*
ABARFI: Uma Arquitetura Reutilizável para a Recuperação e Filtragem de Informação
UN-LENCEP: A Controlled Language for Pre-conceptual Schema Specification
Un modelo de Componentes para el Diseño y Ejecución de Procesos de Colaboración basado en ThinkLets
Un Caso Práctico en MDA para Construir Aplicaciones JEE5 y .NET
Diseñando Arquitecturas de Referencia para Integrar Sistemas Heredados: Una propuesta de Metodología
Framework de Componentes do Domínio de Cardiologia
Sistema Tutor Inteligente con Tecnología de Agentes: La Elección del Método de Enseñanza