yusuke1997/dblp-id-title huggingface dataset:
Conceptual and Formal Ontology Model of e-Catalogs
A Model for XML Schema Integration
Composite Process View Transformation
Electronic Trading Environments for Web 3.0
A New Approach to the Design of Electronic Exchanges
Analysing the Key Factors of Web Design: A Heuristic Evaluation
Remote Data Access Scheme for Service Delivery and Invocation Based on SOAP Protocol
A Framework for Defining Fashion Effect in Electronic Commerce Environments
E-Commerce and Web Technologies - 16th International Conference on Electronic Commerce and Web Technologies, EC-Web 2015, Valencia, Spain, September 2015, Revised Selected Papers
Effects of Cultural Background on Internet Buying Behaviour: Towards a Virtual Global Village?
Cooperative Queries in Semistructured Data Model
Protecting Intellectual Property by Guessing Secrets
A Light Number-Generation Scheme for Feasible and Secure Credit-Card-Payment Solutions
Trust Enhanced Authorization for Mobile Agents
Using Graph Metrics for Linked Open Data Enabled Recommender Systems
E-Commerce and Web Technologies, 4th International Conference, EC-Web, Prague, Czech Republic, September 2-5, 2003, Proceedings
An Application Architecture for Supporting Interactive Bilateral Electronic Negotiations
E-commerce Site Evaluation: a Case Study
A Twitter View of the Brazilian Stock Exchange Market
Using User Personalized Ontological Profile to Infer Semantic Knowledge for Personalized Recommendation
Detecting Leaders to Alleviate Latency in Recommender Systems
Global and Local in Electronic Commerce
Multimodal Indexing and Search of Business Processes Based on Cumulative and Continuous N-Grams
Improving Reuse of Web Service Compositions
Models and Protocol Structures for Software Agent Based Complex E-Commerce Transactions
Contracts for Cross-Organizational Workflow Management
Differential Context Relaxation for Context-Aware Travel Recommendation
A Two-Layered Integration Approach for Product Information in B2B E-commerce
Computational Commerce: A Vision for the Future
An Event-Based Model for the Management of Choreographed Services
Content-Based Personalization Services Integrating Folksonomies
A Preference-Based Recommender System
The New Perspective on Private Cyber Coins in Electronic Commerce: A Korean Case
Formal Verification of BPEL4WS Business Collaborations
Quantile Matrix Factorization for Collaborative Filtering
The WebConsultant - a Flexible Framework for Dynamic Web Applications
LocalRank - Neighborhood-Based, Fast Computation of Tag Recommendations
Category Recommendation in User Specified Structure
A Collaborative Filtering Recommendation Methodology for Peer-to-Peer Systems
Do You Trust Your Phone?
Online Privacy: Measuring Individuals' Concerns
Multi-criteria Ratings for Recommender Systems: An Empirical Analysis in the Tourism Domain
The ET-RBAC Based Privilege Management Infrastructure for Wireless Networks
An Inductive Approach to Reconceptualizing and Theorizing about Digital Services
Development of an ebXML Conformance Test System for e-Business Solutions
Fuzzy Virtual Card Agent for Customizing Divisible Card Payments
Efficient Maintenance of XML Views Using View Correspondence Assertions
Dynamic Load Balancing Method Based on DNS for Distributed Web Systems
Towards Semantic Modelling of Business Processes for Networked Enterprises
Selling Bits: A Matter of Creating Consumer Value
Transactional Security for a Distributed Reputation Management System
Flexible Authentication with Multiple Domains of Electronic Commerce
Implementing the WiPo Architecture
Practical Mobile Digital Signatures
Semantic Contextualisation of Social Tag-Based Profiles and Item Recommendations
E-Speak - An XML Document Interchange Engine
Structuring Web Sites Using Linear Programming
Educational Resources as Digital Products
Semi-automated Structural Adaptation of Advanced E-Commerce Ontologies
A Design Pattern to Decouple Data from Markup
Toward a Security EC Transaction on Web
Automatic Generation of Mashups for Personalized Commerce in Digital TV by Semantic Reasoning
Using Expressive Dialogues and Gradient Information to Improve Trade-Offs in Bilateral Negotiations
E-Commerce and Web Technologies - 13th International Conference, EC-Web 2012, Vienna, Austria, September 4-5, 2012. Proceedings
A Group Recommender System for Tourist Activities
Towards a Secure and De-centralized Digital Watermarking Infrastructure for the Protection of Intellectual Property
Commercial Tools for the Development of Personalized Web Applications: A Survey
Using Internet Glossaries to Determine Interests from Home Pages
An Agent-Based Framework for Monitoring Service Contracts
Automatic Knowledge Recommending System Using E-Mail
Extending Content-Based Recommendation by Order-Matching and Cross-Matching Methods
On Verifying the Internet Open Trading Protocol
Building Business Relationships with Negotiation
Limiting Pollution in Ground Control Optimization
GAINS - An Interactive Tool for Assessing International GHG Mitigation Regimes
An Architecture and Methodology for a Four-Phased Approach to Green Business Process Reengineering
Leveraging Task-Parallelism in Energy-Efficient ILU Preconditioners
Research for IT Driven Energy Efficiency Based on a Multidimensional Comfort Control*
A Simulation Environment for Smart Charging of Electric Vehicles Using a Multi-objective Evolutionary Algorithm
Towards Energy Efficient Parallel Computing on Consumer Electronic Devices
Profiling Power Consumption on Desktop Computer Systems
Furthering the Growth of Cloud Computing by Providing Privacy as a Service
Characterizing Applications from Power Consumption: A Case Study for HPC Benchmarks
A Model for Sequence Based Power Management in Cyber Physical Systems
IT-Cooling Collaborative Control Methods for Battery-Aware IT-Systems Targeting India
Case Studies of Multi-core Energy Efficiency in Task Based Programs
The ECOS Green Buildings Project: Data Dramatization, Visualization and Manipulation
Role of Context-Awareness for Demand Response Mechanisms
The Concept of a Mobile Cloud Computing to Reduce Energy Cost of Smartphones and ICT Systems
Information and Communication on Technology for the Fight against Global Warming - First International Conference, ICT-GLOW 2011, Toulouse, France, August 30-31, 2011. Proceedings
Utilization-Aware Redirection Policy in CDN: A Case for Energy Conservation
Principles of Energy Efficiency in High Performance Computing
A System for Energy Savings in an Ambient Intelligence Environment
Evaluating Energy Consumption in CDN Servers
Green Performance Indicators Aggregation through Composed Weighting System
EC4MACS - An Integrated Assessment Toolbox of Well-Established Modeling Tools to Explore the Synergies and Interactions between Climate Change, Air Quality and Other Policy Objectives
ADSC: Application-Driven Storage Control for Energy Efficiency
Geocast Routing in Vehicular Networks for Reduction of CO 2 Emissions
Semantic Modelling of Dependency Relations between Life Cycle Analysis Processes
ICT as Key Technology against Global Warming - Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings
Characterizing the Adversarial Power in Uniform and Ergodic Node Sampling
Algorithms for Continuous Distributing Monitoring: A survey
A Model for Continuous Query Latencies in Data Streams
Multicast with Aggregated Deliveries
First International Workshop on Algorithms and Models for Distributed Event Processing 2011, Rome, Italy, September 19, 2011. Proceedings
Building Secure Event Processing Applications
Avoiding mobility-related message flooding in content-based publish/subscribe
Determinacy in Stochastic Games with Unbounded Payoff Functions
Space Effective Model Checking for Component-Interaction Automata
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Mikulov, Czech Republic, October 22-24, 2010, Selected Papers
Context-Switch-Directed Verification in DIVINE
On Reliability and Refutability in Nonconstructive Identification
Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives
Performance Analysis of Distributed Stream Processing Applications Through Colored Petri Nets
Compression of Vector Field Changing in Time
The Challenge of Increasing Safe Response of Antivirus Software Users
Prefix-Free Regular Languages: Closure Properties, Difference, and Left Quotient
Haptic Rendering Based on RBF Approximation from Dynamically Updated Data
Test-Case Generation for Embedded Binary Code Using Abstract Interpretation
Computer Memory: Why We Should Care What Is under the Hood
Fast Translated Simulation of ASIPs
GPU-Accelerated Real-Time Mesh Simplification Using Parallel Half Edge Collapses
STANSE: Bug-Finding Framework for C Programs
Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm
A New Concept in Advice Complexity of Job Shop Scheduling
Integer Programming for Media Streams Planning Problem
Automatic C Compiler Generation from Architecture Description Language ISAC
LTL Model Checking of LLVM Bitcode with Symbolic Data
A Better Way towards Key Establishment and Authentication in Wireless Sensor Networks
Image Analysis of Gene Locus Positions Within Chromosome Territories in Human Lymphocytes
Classifier Ensemble by Semi-supervised Learning: Local Aggregation Methodology
Parameterized Algorithms for Stochastic Steiner Tree Problems
Quicksort and Large Deviations
Steiner Tree 1.39-Approximation in Practice
An Open-Source Hardware Approach for High Performance Low-Cost QoS Monitoring of VoIP Traffic
Flexible Interpolation for Efficient Model Checking
On WQO Property for Different Quasi Orderings of the Set of Permutations
Monitoring and Control of Temperature in Networks-on-Chip
Instructor Selector Generation from Architecture Description
Modeling Gene Networks using Fuzzy Logic
Exact Quantum Query Algorithm for Error Detection Code Verification
Noise Injection Heuristics for Concurrency Testing
Security for Cyber-Physical Systems
Preface -- Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)
Towards User-Aware Multi-touch Interaction Layer for Group Collaborative Systems
Span-Program-Based Quantum Algorithms for Graph Bipartiteness and Connectivity
Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariants
Embedded Process Functional Language
A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic
Derivation in Scattered Context Grammar via Lazy Function Evaluation
Exceptional Configurations of Quantum Walks with Grover's Coin
Recent Results on Howard's Algorithm
Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs
CUDA Accelerated LTL Model Checking - Revisited
Ciphertext-Only Attack on Gentry-Halevi Implementation of Somewhat Homomorphic Scheme
Grover's Algorithm with Errors
Efficient Data Representation of Large Job Schedules
Self-Adaptive Architecture for Multi-Sensor Embedded Vision System
Mapping Problems to Skills Combining Expert Opinion and Student Data
Weak Memory Models as LLVM-to-LLVM Transformations
Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
Natural Born Computing
Introducing the FPGA-Based Hardware Architecture of Systemic Computation (HAoS)
Comparison of Algorithms for Checking Emptiness on Büchi Automata
Rewriting Systems over Nested Data Words
Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers
Using Dimensionality Reduction Method for Binary Data to Questionnaire Analysis
Parallelisation of the 3D Fast Fourier Transform Using the Hybrid OpenMP/MPI Decomposition
Process Algebra for Modal Transition Systemses
Basic Operations on Binary Suffix-Free Languages
BDD-Based Software Model Checking with CPAchecker
Rigorous System Design: The BIP Approach
Towards Comparing the Robustness of Synchronous and Asynchronous Circuits by Fault Injection
On Monitoring C/C++ Transactional Memory Programs
Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2009, Prestige Hotel, Znojmo, Czech Republic, November 13-15, 2009
Action Investment Energy Games
Frequency Prediction of Functions
Automating Software Analysis at Large Scale
Fast Algorithm for Rank-Width
Efficient Computation of Morphological Greyscale Reconstruction
Advantage of Quantum Strategies in Random Symmetric XOR Games
The Parameterized Complexity of Oriented Colouring
Four Authorization Protocols for an Electronic Payment System
Low GPU Occupancy Approach to Fast Arithmetic Coding in JPEG2000
Generalized Maneuvers in Route Planning
Verification of Liveness Properties on Closed Timed-Arc Petri Nets
Timed Automata Approach to Verification of Systems with Degradation
Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2008, Znojmo, Czech Republic, November 14-16, 2008
Faster Algorithm for Mean-Payoff Games
Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games
Information Security in a Quantum World
Understanding Transparent and Complicated Users as Instances of Preference Learning for Recommender Systems
Today's Challenges for Embedded ASR
A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation
3D Model-Based Segmentation of 3D Biomedical Images
Fitting Aggregation Operators
Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers
A Parallel Compact Hash Table
Bent Functions Synthesis on Intel Xeon Phi Coprocessor
Testing Embedded Memories: A Survey
Assessing System Vulnerability Using Formal Verification Techniques
Controllable-Choice Message Sequence Graphs
Hijacking the Linux Kernel
GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000
Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Quantum Secret Sharing with Graph States
A Privacy-Aware Protocol for Sociometric Questionnaires
One size does not fit all - how to approach intrusion detection in wireless sensor networks
Requirements Evolution in Software Product Lines: An Empirical Study
Fourth Brazilian Symposium on Software Components, Architectures and Reuse, SBCARS 2010, Salvador, Bahia, Brazil, September 27 - October 1, 2010
Measuring Unique Changes: How do Distinct Changes Affect the Size and Lifetime of Pull Requests?
Spotify characterization as a software ecosystem
A Regression Testing Approach for Software Product Lines Architectures
Improving Modular Reasoning on Preprocessor-Based Systems
AIPLE-IS: An Approach to Develop Product Lines for Information Systems Using Aspects
Variability Management of Reliability Models in Software Product Lines: An Expressiveness and Scalability Analysis
REST or GraphQL?: A Performance Comparative Study
Towards a method for monitoring the coupling evolution of microservice-based architectures
Designing Domain Architectures for Model-Driven Engineering
Characterizing big data software architectures: a systematic mapping study
Geological Data Access on a Polyglot Database using a Service Architecture
Evaluating the Propagation of Exceptions in the Service Oriented Architecture in .NET
Analyzing the Concept of Components in the Brechó-VCM Approach through a Sociotechnical and Software Reuse Management Perspective
aCCountS: A Service-Oriented Architecture for Flexible Pricing in Cloud Infrastructure
Testing Architectures for Real Time Systems
Proceedings of the 18th Brazilian Symposium on Software Components, Architectures, and Reuse, SBCARS 2024, Curitiba, Brazil, September 30 - October 4, 2024
Guidelines for Platform Independent Modeling for Real Time Systems Using UML
Towards an Automated Product Line Architecture Recovery: The Apo-Games Case Study
Usando Ontologias, Serviços Web Semânticos e Agentes Móveis no Desenvolvimento Baseado em Componentes
SBCARS 2022: 16th Brazilian Symposium on Software Components, Architectures, and Reuse, Uberlandia, Brazil, October 3 - 4, 2022
SBCARS '21: Brazilian Symposium on Software Components, Architectures, and Reuse, Joinville, Brazil, 27 September 2021 - 1 October 2021
Design Issues in a Component-based Software Product Line
How to Describe SPL Variabilities in Textual Use Cases: A Systematic Mapping Study
ModelGame: A Quality Model for Gamified Software Modeling Learning
Variability Management in Dynamic Software Product Lines: A Systematic Mapping
An Approach for Creating KDM2PSM Transformation Engines in ADM Context: The RUTE-K2J Case
Construction of Analytic Frameworks for Component-Based Architectures
Revealing design problems in stinky code: a mixed-method study
Um Estilo Arquitetural para Linhas de Produtos de Software
Serviço de Adaptação de Conteúdo Aplicações Multiplataforma
On the Support and Application of Macro-Refactorings for Crosscutting Concerns
Investigating the relationship between bad smells and bugs in software systems
Bad Smells in Software Product Lines: A Systematic Review
Dynamic Variability Management in Product Lines: An Approach Based on Architectural Contracts
Detecting Design Violations in Django-based Web Applications
A Feature-Driven Requirements Engineering Approach for Software Product Lines
PRIME: Pragmatic Interoperability Architecture to Support Collaborative Development of Scientific Workflows
Automatic Generation of Platform Independent Built-in Contract Testers
MTP: Model Transformation Profile
Identifying Code Smells with Collaborative Practices: A Controlled Experiment
Checklist-Based Inspection Technique for Feature Models Review
Designing a Set of Service-Oriented Systems as a Software Product Line
Analysis of Microservice Evolution using Cohesion Metrics
Analysis of the Impact of Implied Scenarios on the Reliability of Computational Concurrent Systems
An Approach to Identify and Classify State Machine Changes from Code Changes
Distributed quality-attribute optimization of software architectures
Identifying Utility Functions in Java and JavaScript
RefDiff4Go: Detecting Refactorings in Go
Modularity Analysis of Use Case Implementations
Transformando Modelos da MDA com o apoio de Componentes de Software
Comparing Two Black-Box Testing Strategies for Software Product Lines
Using MDA for Building Wireless Sensor Network Applications
Detecting Modularity Flaws of Evolving Code: What the History Can Reveal?
Uma Estratégia para Integração de Restrições Arquiteturais em Design Rules
SyMPLES-CVL: A SysML and CVL Based Approach for Product-Line Development of Embedded Systems
On the Prioritization of Design-Relevant Smelly Elements: A Mixed-Method, Multi-Project Study
A Model of Service-Oriented Architectures
An Investigation on the Impact of MDE on Software Reuse
An Architectural Model for Adapting Domain-Specific AOM Applications
2013 VII Brazilian Symposium on Software Components, Architectures and Reuse, Brasília, DF, Brazil, September 29 - October 4, 2013
Recovering and checking software architectural properties based on execution tree analysis
Towards Validating Complexity-Based Metrics for Software Product Line Architectures
OfflineManager: A Lightweight Approach for Managing Offline Status in Mobile Applications
On-the-Fly and Non-invasive Extraction of Runtime Architectures Using Hierarchical Object Graphs
Improving the prediction of files changed by programming tasks
Microservice Architecture: A Tertiary Study
On the Formal Interpretation of SysML Blocks Using a Safety Critical Case Study
Towards a Taxonomy of Software Mediators for Systems-of-Systems
Are we speaking the industry language? The practice and literature of modernizing legacy systems with microservices
Applying a Multi-platform Architectural Conformance Solution in a Real-world Microservice-based System
Empirical Validation of Complexity and Extensibility Metrics for Software Product Line Architectures
A Domain-Specific Language to Specify Planned Architectures of Adaptive Systems
Supporting user preferences in search-based product line architecture design using Machine Learning
A Field Study on Reference Architectural Decisions for Developing a UML-based Software Product Line Tool
Analysis of the Technical Debt of Software Projects Based on Merge Code Comments
Guidelines for Promoting Software Product Line Experiments
Proceedings of the 17th Brazilian Symposium on Software Components, Architectures, and Reuse, SBCARS 2023, Campo Grande, Brazil, September 25-29, 2023
Um Levantamento de Métodos de Avaliação de Arquiteturas de Software Específicas
Microservice-oriented Product Line Architecture Design: An Exploratory Study
CrossMDA: Arcabouço para integração de interesses transversais no desenvolvimento orientado a modelos
Mineração de Componentes para a Revitalização de Softwares Embutidos
Evaluating Variability Modeling Techniques for Dynamic Software Product Lines: A Controlled Experiment
Pattern-Based Modifiability Analysis of EJB Architectures
A Flexible Model-Driven Game Development Approach
Um Processo de Desenvolvimento de Aplicações Web baseado em Serviços
Investigating the Relationship between Code Smell Agglomerations and Architectural Concerns: Similarities and Dissimilarities from Distributed, Service-Oriented, and Mobile Systems
Usability and Software Architecture: A Literature Review
Investigating Developer Experience in Software Reuse
Just Business: A Framework for Developing Android Applications Using Naked Objects
An Experiment on How Feature Dependent Variables Affect Configurable System Comprehensibility
A Decoupled and Interoperable Architecture for Coordination in Ubiquitous Systems
A Lightweight Technology Change Management Approach to Facilitating Reuse Adoption
On the Nature of Duplicate Pull Requests: An Empirical Study Using Association Rules
Guidelines for Data Engineering Documentation in a DevDocOps Approach
CelOWS: uma arquitetura orientada a serviços para definição, pesquisa e reuso de modelos biológicos
Large Language Model-based suggestion of objective functions for search-based Product Line Architecture design
ObasCId: An Ontologically-Based Approach for Concern Identification and Classification
The Impact of Microservices on the Evolution of a Software Product Line
Exploring the Architecture of Ultra Large Scale
Analysis of Coupling Evolution on Open Source Systems
Domain Engineering: A Practical Application in Analysis and Design of a Generative Query Language
A Study about the Life Cycle of Code Anomalies
Do Critical Components Smell Bad? An Empirical Study with Component-based Software Product Lines
DocStone: A Blockchain-based Architecture for a Customizable Document Registration Service
Evaluating the performance of NSGA-II and NSGA-III on Product Line Architecture Design
Software Variability Management: An Exploratory Study with Two Feature Modeling Tools
Comparando Modelos Arquiteturais de Sistemas Legados para Apoiar a Criação de Arquiteturas de Referência de Domínio
On the Implementation of Dynamic Software Product Lines: A Preliminary Study
AspectJ-Based Idioms for Flexible Feature Binding
SPLICE: A Lightweight Software Product Line Development Process for Small and Medium Size Projects
TechSpaces: Identifying and Clustering Popular Programming Technologies
Towards a Maturity Model for a Reuse Incremental Adoption
Implementing a Classic ER Algebra to Automatically Generate Complex Queries for Document-Oriented Databases
Improving the Component Discovery Process by Leveraging Automatic Sensitive Analysis
SBCARS '20: 14th Brazilian Symposium on Software Components, Architectures, and Reuse, Natal, Brazil, October 19-23, 2020
p-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions
Unleashing the Future of Smart Homes: A Revelation of Cutting-Edge Distributed Architecture
Checking UML Design Patterns in Java Implementations