yusuke1997/dblp-id-title huggingface dataset:
Diseño y Desarrollo de un Entorno Integrado para Simuladores de Entrenamiento de Procesos Industriales
Modelo de Red de Decisión Multiagente basada en Certeza y Confianza
VI Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento-JIISIC'07, 31 de Enero al 2 de Febrero del 2007, Lima, Perú
1st Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'01), June 13-15, 2001, Buenos Aires, Argentina [Co-located with 13th International Conference on Software Engineering and Knowledge Engineering]
AgroMet-Epistheme: Um ambiente de aquisição de conhecimento aplicado à Agrometeorologia
Tool Selection Methodology in Data Mining
A Taxonomy-Based Model for Identifying Risks
Estimación de Proyectos de Software para Desarrollos de Aplicaciones Intranet/Internet basada en la Técnica de Puntos de Función
Una Experiencia de Implantación de COMPETISOFT en una Pequeña Empresa Desarrolladora de Software
Gerência de Conhecimento de Qualidade de Software
Una Formalización de la Dinámica del Proceso de Desarrollo de Software
Especificación de Requisitos para el Diseño Conceptual de Almacenes de Datos
La Planificación Temprana de Proyectos de Software como Factor Crítico de Exito
Em Busca de uma Abordagem para Empacotamento de Experimentos em Engenharia de Software
Aplicación de Técnicas de Aprendizaje Cooperativo en la Enseñanza del Desarrollo de Software
Aplicação de um Checklist de Pré-Teste
Uma abordagem de Gerência de Projetos de Software, sob o enfoque da Gestão do Conhecimento
JIISIC'06 - V Jornadas Iberoamericanas de Ingeniería de Software e Ingeniería del Conocimiento, Memoria Técnica, Proceedings, Puebla, Pue. México, 1 al 3 de Febrero de 2006
Especificação de Requisitos de Usabilidade utilizando-se o Método Desdobramento da Função Qualidade
Conformación del Equipo: Asignación de Roles siguiendo el Modelo de Proceso Software Integral Centrado en las Capacidades
Utilización de un Método ad hoc para el Mejoramiento de Procesos con MoProSoft
MEIDAW: Una Propuesta Metodológica para Mejorar el Proceso de Desarrollo de Sistemas Workflow
Onto-DOM: A Question-Answering Ontology-Based Strategy for Heterogeneous Knowledge Sources
An Environment to Observe Object-Oriented Software Evolution
VII Jornadas Iberoamericanas de Ingeniería de Software e Ingeniería del Conocimiento 2008, Guayaquil, Ecuador, January 30 - February 1, 2008. Proceedings
Factores de éxito o Fracaso para la Mejora de Procesos Software: Caso Real en un Grupo de MiPyMEs
Modelo Liviano de Calidad para la Mejora de Procesos de Desarrollo Software
Gestão de Conhecimento em Ambientes de Desenvolvimento de Software
Prolog & TXL: Um Estudo de Caso para Prototipação de Ferramentas de Apoio para o Teste Estrutural
Experiencia en Team Software Process (TSP) y Mejoras de Estimación, Calidad y Productividad de los Equipos en la Gestión del Software
Arquitecturas para Gestión de Conversaciones B2B Basadas en Conocimiento
Experiencia de Implementación de Mejora de Procesos en dos PYMEs Desarrolladoras de Software, que poseen certificación ISO 9001: 2000
Uma Abordagem para Acesso Dinâmico a Objetos Distribuídos em lingoal
Aplicación para el Cifrado, Compresión y Transmisión de Registros Electroencefalográficos
Uso de Esquemas Preconceptuales para la Generación Automática de Diagramas de Clases, Comunicación y Máquina de Estados
Modelado de Mejora de Procesos de Software en Pequeñas Organizaciones
Cuantificando la Aparición de Intrusos a través de Métricas mediante un Modelo basado en el Sistema Inmunológico Humano
Aplicación del Proceso de Data Mining en el Área Docente
Una Propuesta para la Elicitación de Requerimientos de Seguridad Basada en Preguntas
Semantic Document Representation in an Ontology-Driven Distributed Organizational Memory
Estudio Experimental en Equipos de Desarrollo de Software sobre las Relaciones entre Personalidad, Satisfacción y Calidad del Producto
PROMETEU - a tool to support documents generation and traceability in the test process
Una Arquitectura Flexible para la Administración de Reputación en Sistemas Multiagentes
Considering Durative Activities in the Software Process
Extensión MDA (Model Driven Architecture) para Proceso Basado en RUP (Rational Unified Process)
Un enfoque pragmático para la mejora de procesos software en las PyMEs
Aprendizaje por Refuerzos en Problemas de Planeamiento con Restricciones
PROCODI: Lenguaje de Extensibilidad para UML
Utilización de Agentes y Reputación en la Administración de la Cadena de Suministros industriales
Experiences with the use of MERODE in the development of a Web Based Application
Generación Asistida de Casos de Prueba para Pruebas Unitarias en Sistemas Construidos bajo Paradigma Orientado a Objetos
RevisionCASE, Herramienta para Gestionar Revisiones a Proyectos de Software Empleando Razonamiento Basado en Casos
Utilização do Controle Estatístico de Processo para avaliar a Maturidade do Processo de Gerência de Requisitos
Hacia la definición de un modelo para la Gestión de Proyectos en el Desarrollo Global del Software: reflexiones sobre la situación actual
Interacción con la Computadora: Modelo de Capacidades de Estudiantes de Nivel Medio de Jujuy
Bases de un Lenguaje para el Tratamiento de Poblaciones Computacionales
TONGO: Un laboratorio para apoyar la experimentación sobre arquitecturas orientada a servicios
Empirically Evaluating the Usefulness of Software Visualization Techniques in Program Comprehension Activities
O Papel do CMMI na Configuração de um Meta-Processo de Produção de Software com Características Fabris: Um Estudo de Caso
Knowledge Component of a Multiagent Distributed Decision Support System
Incidencia de la planificación y las inspecciones en el desarrollo de proyectos de software: Caso de Estudio realizado en Ecuador
Knowledge Engineering for a Fuzzy Power Plant Process Controller
Estimación basada en Escenarios Principales,
Aplicando MDA al Diseño de un Datawarehouse Temporal
Modelo de Desarrollo de Software OO, Experimentación en un curso de Ingeniería de Software
A Method for Software Architecture Design in the Aspect Oriented Development
Perfil UML 2.0 para Aplicaciones de Monitoreo Ambiental
Selección de Conceptos para evaluar Herramientas de Modelado de Procesos de Negocio y Sistemas Web
Designing an All-Software Based Distributed Virtual Memory: The Paging Performance of the MT Stack
An Expressive Extension of TLC
A Practical Parity Scheme for Tolerating Triple Disk Failures in RAID Architectures
Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings
Modular Formalization of Reactive Modules in COQ
An Integrated Model for Access Control and Information Flow Requirements
A Fault Tolerant Broadcast Scheme in Star Graphs
The Game of the Name in Cryptographic Tables
Node-to-Set Disjoint Paths Problem in Rotator Graphs
Performance Evaluation of Networks: New Problems and Challenges
Advances in Computer Science - ASIAN 2004, Higher-Level Decision Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004, Proceedings
Reflecting BDDs in Coq
Inductive Logic Programming Based on Genetic Algorithm
Shortcut Replay: A Replay Technique for Debugging Long-Running Parallel Programs
On the Bounded Theories of Finite Frees
Implementing a Tamper-Evident Database System
Multi-Action Process Algebra
Blind Threshold Signatures Based on Discrete Logarithm
A Spatial Logical Characterisation of Context Bisimulation
Information Flow Security for XML Transformations
Spanning 2-Trees
A Calculus of Bounded Capacities
A Logical Framework for Evaluating Network Resilience Against Faults and Attacks
One-Time Receiver Address in IPv6 for Protecting Unlinkability
Hierarchical Structure of 1-Safe Petri Nets
Database and Information Retrieval Techniques for XML
Hierarchical Verification Using Verification Diagrams
InterMUD Communications (IMC) Protocol with Extensions to VRMLise MultiUser Domains (MUDs)
Design and Implementation of a Web-Based Internet Broadcasting System on QoS Multicast Routers
A Dynamic Evolution for the Specifications of Distributed Systems
Assessment Aggregation in the Evidential Reasoning Approach to MADM Under Uncertainty: Orthogonal Versus Weighted Sum
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
Modeling and Virtualization for Secure Computing Environments
Parallel Maximal Matching on Minimal Vertex Series Parallel Digraphs
Hybrid Support for Lenient Implementation of Array-Comprehension
Security Modeling and Evaluation for the Mobile Code Paradigm
GeM and WeBUSE: Towards a WWW-Database Interface
Broadcasting in Star Graphs with Byzantine Failures
Static vs Dynamic Typing for Access Control in Pi-Calculus
Zero-Clairvoyant Scheduling with Inter-period Constraints
Computational Soundness of Formal Indistinguishability and Static Equivalence
Transactional Cache Management with Aperiodic Invalidation Scheme in Mobile Environments
A CPS-Transform of Constructive Classical Logic
Formalizing Inductive Proofs of Message Recovery in Distributed Systems
Formal Verification of Secret Sharing Protocol Using Coq
Leapfrogging Samplesort
End-to-End Behavior to the INternet: Measurements, Analysis, and Applications
Efficient Goal Scheduling in Concurrent Logic Language using Type-Based Dependency Analysis
A New Factoring Algorithm for Magic Predicates
A Sandbox with a Dynamic Policy Based on Execution Contexts of Applications
Distributed Checkpointing on Clusters with Dynamic Striping and Staggering
A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages
Minimal Linear Invariants
Distributed Concurrency Control in Real-time Cooperative Editing Systems
A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations
Formalization of CTL* in Calculus of Inductive Constructions
Constructive Negation in Definite Constraint Logic Programs
Improving Functional Logic Programs by Difference-Lists
Using Control Theory to Guide Load Shedding in Medical Data Stream Management System
Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic
Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation
Searching Patterns in Digital Image Databases
Pipelined Band Join in Shared-Nothing Systems
Spatial Congruence for Ambients Is Decidable
Separators Are as Simple as Cutsets
ACB-R : An Adaptive Clustering-Based Data Replication Algorithm on a P2P Data-Store
On Run-Time Enforcement of Policies
Three-Level Schema Model in a Web Data Engine
Practical Ontology Systems for Enterprise Application
Two Flavors of Offline Partial Evaluation
Using Optimal Golomb Rulers for Minimizing Collisions in Closed Hashing
Share-Where Maintenance in Visual Algebraic Specifications
Bankable Postage for Network Services
Probabilistic Logic Programming and Bayesian Networks
Formal Concept Mining: A Statistic-Based Approach for Pertinent Concept Lattice Construction
A Spatio-temporal Representation Scheme for Modelin Moving Objects in Video Data
Software Specification Using LASS
Sets as Anti-Chains
Parallel Learning of Bayesian Networks Based on Ordering of Sets
Design of Controllers for Linear Hybrid Systems
Modeling Web Services Based on the Bayesian Network
Constructing More Relevant Models
Reusing Animations in Databases for Multimedia Presentations
Privacy Enhancing Credentials
Solver for Hierarchical CSP Containing Several Constraint Types and Multi-output Constraints
Unreliable Failure Detectors via Operational Semantics
An Operational Semantics of Program Dependence Graphs for Unstructured Programs
Observable Sharing for Functional Circuit Description
Basic Binary Decision Diagram Operations for Image Processing
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols
Automated Security Proof for Symmetric Encryption Modes
Practical Experiences and Requirements on Workflow
Trusted Deployment of Virtual Execution Environment in Grid Systems
Dimensions of Declassification in Theory and Practice
Deduction in Logic of Association Rules
QoS-Driven Composite Web Services Selection
Checking Linear Duration Invariants by Linear Programming
Preemption Primitives in Reactive Languages (A Preliminary Report)
Information Hiding in the Join Calculus
Masquerade Detection Based Upon GUI User Profiling in Linux Systems
TROM - An Object Model for Reactive System Development
Large Scale Simulation of Tor:
Symbolic Rights and Vouchers for Access Control in Distributed Object Systems
Lemma Generalization and Non-unit Lemma Matching for Model Elimination
INSTANCE: The Intermediate Storage Node Concept
Rules for Abstraction
A Scalable Approach to Network Enabled Servers
A New Scalable Topology for Multihop Optical Networks
Heuristic Diff Acquiring in Lazy Release Consistency Model
Highly Efficient and Effective Techniques for Thai Syllable Speech Recognition
Formal Analysis for Continous Systems Controlled by Programs
Peer-to-Peer Data Integration with Active XML
An Approach to Formal Verification of Arithmetic Functions in Assembly
A Grid Clustering Algorithm Based on Reference and Density
Emerging Patterns and Classification
Noninterference with Dynamic Security Domains and Policies
A New Active DDoS Defense System Based on Automatic Learning
A New Multihop Logical Topology for Reliable Broadband Communication
First-Class Contexts in ML
Finite Digital Synchronous Circuits Are Characterized by 2-Algebraic Truth Tables
Dynamic Hybrid DVE Architecture
Suffix Arrays for Multiple Strings: A Method for On-Line Multiple String Searches
Compiling C Programs into a Strongly Typed Assembly Language
A Robust Approach to Content-Based Musical Genre Classification and Retrieval Using Multi-feature Clustering
Overall System for Secure Wireless Mobile Networks
Towards Flexible Graphical Communication Using Adaptive Diagrams
Post-Client/Server Coordination Tools
Formal Methods: Past, Present, and Future (Abstract)
The Equivalence of the Subsumption Theorem and the Refutation-Completeness for Unconstrained Resolution
Inferring Disjunctive Postconditions
Exploring Regional Locality in Distributed Shared Memory
A Comparison of Petri Net Semantics under the Collective Token Philosophy
Completeness and Decidability of a Fragment of Duration Calculus with Iteration
Advances in Computing Science - ASIAN 2002, Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing, 7th Asian Computing Science Conference, Hanoi, Vietnam, December 4-6, 2002, Proceedings
Coordinating Human and Computer Agents
On Model Checking Synchronised Hardware Circuits
Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings
Rules for Trace Consistent Reasoning
Relations Among Parallel and Sequential Computation Models
Coupling Object Orientation & Deduction - A Modelling Perspective
General Consistency Management Within the Development of Ontology-Driven Web Information System
Higher-Order Program Verification and Language-Based Security
A Perspective on Technology-Assisted Collaboration
On Completeness of Logical Relations for Monadic Types
Managing Uncertainty in Access Control Decisions in Distributed Autonomous Collaborative Environments
A Framework and Mathematical Model for Collaboration Technology
Supporting Autonomous Work and Reintegration in Collaborative Systems
Coordination in Workflow Management Systems - A Rule-Based Approach
An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance
Trace Specifications of Non-Deterministic Multi-Object Modules
TOP- k Query Calculation in Peer-to-Peer Networks
Research on the Similarity of Constraint Driven Semantic Web Services
Intensionality versus Extensionality and Primitive Recursion
Advances in Computing Science - ASIAN 2000, 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings
DualRank: A Dual-Phase Algorithm for Optimal Profit Mining in Retailing Market
Online Stochastic and Robust Optimization
Performance of Location Caching Scheme to Support Call Locality in Wireless Networks
Entailment of Non-structural Subtype Constraints
Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings
Workspae Awareness for Distributed Teams
An Analysis of Divisibility Orderings and Recursive Path Orderings
Relating May and Must Testing Semantics for Discrete Timed Process Algebras
Deriving and Applying Logic Program Transformers
Programming the Mobility Behaviour of Agents by Composing Itineraries
Identity-Based Authenticated Broadcast Encryption and Distributed Authenticated Encryption
An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming
On L k ( Q ) Types and Boundedness of IFP ( Q ) on Finite Structures
A Simulation-Based Treatment of Authenticated Message Exchange
Rigid Reachability
Verification Results for a Multimedia Protocol
Coordination in Knowledge-Intensive Organizations
Cryptographic Postage Indicia
Typing the Use of Resources in a Concurrent Calculus (Extended Abstract)
On Feasibility, Boundedness, and Redundancy of Systems of Linear Constraints over R 2 -Plane
Scalable DRM System for Media Portability
Browser Based Agile E-Voting System
An Approach for Service Discovery Based on Semantic Peer-to-Peer
Combining Hierarchical Specification with Hierarchical Implementation
Tracing the Evaluation of Lazy Functional Languages: A Model and its Implementation
Sharpening the Undecidability of Interval Temporal Logic
Systematic Study on Query Expansion
Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover
Correctness of Programs and Protocols through Randomization (Extended Abstract)
An Efficient Location Management by Optimal Location Area Partitioning in PCS Networks
On the BDD of a Random Boolean Function
A Method of Safety Analysis for Runtime Code Update
The Feature Selection and Intrusion Detection Problems
Towards a Unified Model for Web Services Composition
On Automating Inductive and Non-inductive Termination Methods
Digital Rights Management Using a Master Control Device
Towards an Application-Aware Multicast Communication Framework for Computational Grids
An Extended Mandatory Access Control Model for XML
Closing Internal Timing Channels by Transformation
Data Storage and Stream Caching for Video on Demand Servers
Schema Homomorphism - An Algebraic Framework for Schema Matching
Cubing Web Data Based on Multidimensional Arrays
Design Exploration Framework Under Impreciseness Based on Register-Constrained Inclusion Scheduling
A Calculus for Secure Mobility
CASA - Structured Design of a Specification Language for Intelligent Agents
Co-ordination of Management Activities - Mapping Organisational Structure to the Decision Structure
Recurrent Oscillatory Self-organizing Map: Adapting to Complex Environmental Periodicities
Resource Integration Framework of Logistics Resource Grid
Type Inference for First-Class Messages with Feature Constraints
A Critique of Some Chaotic-Map and Cellular Automata-Based Stream Ciphers
Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report
Security Concerns for Web Services and Applications
Ontology Engineering from a Database Perspective
Reactive Framework for Resource Aware Distributed Computing
Chi-Square Matrix: An Approach for Building-Block Identification
Demand-Driven Model Checking for Context-Free Processes
A Simple Theory of Expressions, Judgments and Derivations
Verification of Pipelined Microprocessors by Comparing Memory Execution Sequences in Symbolic Simulation
Metadata Inference for Document Retrieval in a Distributed Repository
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-Calculus
Genetic Algorithm for Extended Cell Assignment Problem in Wireless ATM Network
Multipoint-to-Point ABR Service with Fair Intelligent Congestion Control in ATM Networks
MicroBill: An Efficient Secure System for Subscription Based Services
Synthesizing Parallel Divide-and-Coquer Algorithms Using the List Interleave Operator
Efficient Parallel Permutation-Based Range-Join Algorithms on Mesh-Connected Computers
The Rewriting Calculus as a Semantics of ELAN
An Experimental Delay Analysis for Local Audio Video Streams for Desktop Collaborations
Formal Verification and Evaluation of Execution Time in the Envelope Theory
On Semantics of Reactive Rule-Based Systems
A Framework for Compiler Driven Design Space Exploration for Embedded System Customization
An Extended Gradient Model for NUMA Multiprocessor Systems
Media-Based Presentation with Personalization in a Web-Based eLearning System
Detecting Distributed Termination in the Presence of Node Failure
Transformation of Orthogonal Term Rewriting Systems
Advances in Computer Science - ASIAN 2005, Data Management on the Web, 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Proceedings
Checking Hybrid Automata for Linear Duration Invariants
The Design and Evaluation of a Middleware Library for Distribution of Language Entities
Multiconstraint QoS Routing Using a Path-Vector Protocol
Conjunctive Vector Representations for Set Valued Feature Descriptions
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs
Coordination Technology for Collaborative Applications - Organizations, Processes, and Agents [ASIAN 1996 Workshop]
Kernel Mode Linux: Toward an Operating System Protected by a Type Theory
Eventuality in LOTOS with a Disjunction Operator
A Cooperative Approach to Distributed Applications Engineering
An Optimistic Fair Protocol for P2P Chained Transaction
A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems
Formal Verification of Descriptions with Distinct Order of Memory Operations
Towards a Characterisation of Finite-State Message-Passing Systems
Asynchronous Migration in Parallel Genetic Programming
IPv6 Performance Analysis on FreeBSD Workstation Using Simple Applications
A Logic for Formal Verification of Quantum Programs
Multi-labeled Graph Matching - An algorithm Model for Schema Matching
A Denotational Approach to Scope-Based Compensable Flow Language for Web Service
Risk Balance in Exchange Protocols
Web-Based Middleware for Home Entertainment
Efficient and Practical Control Flow Monitoring for Program Security
On the List Colouring Problem
Automata-Based Confidentiality Monitoring
Combinatory Formulations of Concurrent Languages
Advances in Computer Science - ASIAN 2007. Computer and Network Security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings
Safe Ambients: Control Flow Analysis and Security
Multilevel Master-Slave Parallel Programming Models
An Optimal Parallel Algorithm for the Perfect Dominating Set Problem on Distance-Hereditary Graphs
Verifying Probabilistic Programs Using a Hoare like Logic
A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic
Proof Discovery in LK System By Analogy
The Oz Programming Language and System (Abstract)
Backtrackable State with Linear Affine Implication and Assumption Grammars
A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs
Efficient Equality-Testing and Updating of Sets
Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis
A Hybrid Method for Detecting Data Stream Changes with Complex Semantics in Intensive Care Unit
Deniable Partial Proxy Signatures
Advances in Computing Science - ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings
A Server Selection Method Based on Communication Delay and Communication Frequency among Users for Networked Virtual Environments
Paradigm Regained: Abstraction Mechanisms for Access Control
A Polymorphic Language Which Is Typable and Poly-step
Randomized Parallel List Ranking for Distributed Memory Multiprocessors
Secure Verification of Location Claims with Simultaneous Distance Modification
On Design and Analysis of a New Block Cipher