yusuke1997/dblp-id-title huggingface dataset:
The Rio de Janeiro, Brazil, Experience Using Digital Initiatives for the Co-production of the Public Good: The Case of the Operations Centre
Effect of Demography on Mobile Commerce Frequency of Actual Use in Saudi Arabia
Wearable Approach for Contactless Blood-Glucose Monitoring by Textile Antenna Sensor
Blood Cell Classification Using the Hough Transform and Convolutional Neural Networks
Gamota-Filisko Model for Vacuum Packed Particles
Competing Tourist Destinations and Their Positioning on the Social Medium Facebook: Ecuador, Colombia and Peru
Cloud Computing System Application in the Mining Industry
Study of Twitter for Digital Content Strategies. Case Study Newspaper Metro Ecuador
SocialPG: Proposed Model for Building Pervasive Social Play Experiences
Mobility Load Balancing with Multi-Cells for Parameter Control Resolution in Ultra-Dense Network
Partitioning and Bucketing in Hive-Based Big Data Warehouses
Open Innovation at University: A Systematic Literature Review
Technologies for Ageing in Place to Support the Empowerment of Patients with Chronic Diseases
Implementation of Big Data Analytics Tool in a Higher Education Institution
Communication Technologies in the Analysis of Online Reputation and Job Search
A Decision Support System for Municipal Budget Plan Decisions
Intelligent System for Vehicle Navigation Assistance
Classifying Cloud Computing Challenges: A Taxonomy Proposal
Social Media, Evolutionary Psychology, and ISIS: A Literature Review and Future Research Directions
An Electronic Learning System for Integrating Knowledge Management and Alumni Systems
Evaluation of an Integrated Mobile Payment, Ticketing and Couponing Solution Based on NFC
Methodology for the Implementation of Knowledge Management Systems in the University
Legal Ethical Implications in the Exercise of Communication and Information Technologies (ICT) in Telemedicine and e-Law in Medellín - Colombia
Text Mining Indicators of Affect and Interaction: A Case Study of Students' Postings in a Blended-Learning Course of English for Specific Purposes
RetweetPatterns: Detection of Spatio-Temporal Patterns of Retweets
Older Adults and Games from a Perspective of Playability, Game Experience and Pervasive Environments: A Systematics Literature Review
Digital Preservation and Criminal Investigation: A Pending Subject
Email Answering by Matching Question and Context-Specific Text Patterns: Performance and Error Analysis
Improving Healthcare Delivery with New Interactive Visualization Methods
Time-Series Directional Efficiency for Knowledge Benchmarking in Service Organizations
Improving Project Management Practices in Architecture & Design Offices
Improving High Availability and Reliability of Health Interoperability Systems
Deep Hybrid AdaBoost Ensembles for Histopathological Breast Cancer Classification
QUALITUS: An Integrated Information Architecture for the Quality Management System of Hospitals
The Perspective of Cyclists on Current Practices with Digital Tools and Envisioned Services for Urban Cycling
A Fake News Detection and Credibility Ranking Platform for Portuguese Online News
Implementation of Information Systems Security Policies: A Survey in Small and Medium Sized Enterprises
On the Boundaries of Telemedicine
Extraction of Fact Tables from a Relational Database: An Effort to Establish Rules in Denormalization
Expectations and Knowledge Sharing by Stakeholders in a Bioproducts Community of Practice: An Exploratory Study
Types of Linkages between Business Processes and Regulations
Applying Action Research in the Formulation of Information Security Policies
Pervasive Patient Timeline for Intensive Care Units
Blockchain Redacting Algorithm with Storing Votes Inside the Chain
The Key Project Managers' Competences for Different Types of Projects
A Computational Modeling Based on Trigonometric Cubic B-Spline Functions for the Approximate Solution of a Second Order Partial Integro-Differential Equation
Dependency Mining in IoT - From Research to Practice in Intelligent Transportation Systems
Leadership Effectiveness in Public Administration Remote Workers
Dynamic Replication and Deployment of Services in Mobile Environments
Systematic Review of Plant Pest and Disease Identification Strategies and Techniques in Mobile Apps
DDT: An IDE for an Aspect Oriented Software Development Platform
Designing a Dual-Layer 3D User Interface for a 3D Desktop in Virtual Reality
An Online Sales System to Be Managed by People with Mental Illness
An Empirical Study of the Factors Affecting Mobile Social Network Service Use
Social Media Use in the Workspace: Applying an Extension of the Technology Acceptance Model Across Multiple Countries
Machining Interface and Adapter for Industrial Robots
Project Management: Evaluation of the Problems in the Portuguese Construction Industry
Evaluating the Use of Gamification in m-Health Lifestyle-related Applications
Single Producer - Multiple Consumers Ring Buffer Data Distribution System with Memory Management
Multimodal Data Fusion Architectures in Audiovisual Speech Recognition
Augmented Reality to Enhance Visitors' Experience at Archaeological Sites
Uncovering Dark Patterns - Learning Through Serious Gameplay About the Dangers of Sharing Data
Challenges on Digital Destination Campaigns in Tourism During Covid19 Pandemic Crisis - The Case of Portugal National Tourism Authority
An ML-Based Quality Features Extraction (QFE) Framework for Android Apps
Smart Learning Affordances of Web Technologies from Future ICT Teachers' Perspectives
Student Participation in Researching Projects: A Practical Experience
On the Present State-of-the-Art of a Component Importance Analysis for Complex Technical Systems
A Dive into the Specific Electric Energy Consumption in Steelworks
API Documentation - A Conceptual Evaluation Model
Digitally Monitoring Thermalism Health and Wellness Effects - A Conceptual Model Proposal
The Problems of the Insolvency Register in the Czech Republic from the Perspective of Information Technology
Mental Stress Analysis During Visual- And Text-Based Language Learning by Measuring Heart Rate Variability
Using Social Network Analysis to Identify User Preferences for Cultural Events
Automatic Parallel Data Mining After Bilingual Document Alignment
Promotion of Social Participation in Smart City Developments: Six Technologies for Potential Use in Living Labs
COCO: Semantic-Enriched Collection of Online Courses at Scale with Experimental Use Cases
Including Credibility and Expertise in Group Decision-Making Process: An Approach Designed for UbiGDSS
LabsMóveis: Innovation in the University Classroom through Mobile Devices
Learning About Recyclable Waste Management Through Serious Games
Optimal Distribution of Current Resources in a Production Environment - A Sustainable and Ethical Framework for the Digital Era
Monitoring and Prevention: How Technical Debt is Managed by Software Practitioners
Rational, Emotional, and Attentional Choice Models for Recommender Systems
Brain Waves Processing, Analysis and Acquisition to Diagnose Stress Level in the Work Environment
A Must Have: Customized Ways to Go for Data Literacy to Further Valuable Deliverables
The Length of Hospital Stay in Acute Myocardial Infarction: A Predictive Model with Laboratory and Administrative Data
Virtual Reality Training Platform: A Proposal for Heavy Machinery Operators in Immersive Environments
MoCaS: Mobile Carpooling System
Business Intelligence: An Essential Tool in the Identification of Organizational Internal Talent
Exercise Generation on Language Specification
OqKay: A Semi-automatic System Approach to Question Extraction
Application of a Risk Management Tool Focused on Helping to Small and Medium Enterprises Implementing the Best Practices in Software Development Projects
Blood4Life: A Mobile Solution to Recruit and Retain Blood Donors Through Gamification and Trans-Theoretical Model
Study of Political Campaign Ads from Ecuador Employing Heart Rate Variability (HRV)
Interoperability Assessment in Healthcare Based on the AHP/ANP Methods
Knowledge Discovery in Wikidata with Machine Learning in Graph
Computational Analysis of a Literary Work in the Context of Its Spatiality
Intelligent Cyberattack Detection on SAFECARE Virtual Hospital
Iterative Optimization-Based Simulation: A Decision Support Tool for Job Release
GEMINI: A Generic Multi-Modal Natural Interface Framework for Videogames
A Multidimensional Model for Monitoring Cloud Services
Is ChatGPT Able to Generate Texts that Are Easy to Understand and Read?
Cloud Computing Platforms to Improve Shuar Chicham Writing Skills
Towards to a System for Predicting an Insufficient Wake State in Professional Drivers
Web-Based Executive Dashboard Reports for Public Works Clients in Construction Industry
Am I Really Who I Claim to Be?
HealthCare Fake News Detection: A New Approach Using Feature Selection Concept
Trends and Advances in Information Systems and Technologies - Volume 2 [WorldCIST'18, Naples, Italy, March 27-29, 2018]
Fuzzy Analysis for Assessing Trust Space Within Wireless Sensor Networks
Environmental Effects on the Performances of a UHF Passive Tag-Based Commercial RFID System
Identification of Clinical Variables Relevant for Survival Prediction in Patients with Metastatic Castration-Resistant Prostate Cancer
A Prototype of the Crowdsensing System for Pollution Monitoring in a Smart City Based on Data Streaming
Enhancing Learning Object Repositories with Ontologies
Augmented Reality Mobile Tourism Application
Optimization Techniques to Detect Early Ventilation Extubation in Intensive Care Units
Internet Access in Brazilian Households: Evaluating the Effect of an Economic Recession
DLT-Based Central Bank Digital Currency Key Concepts
My Employer's Prestige, My Prestige
Parametric Study of the Analog Ensembles Algorithm with Clustering Methods for Hindcasting with Multistations
Interoperability Assessment in Health Systems Based on Process Mining and MCDA Methods
Cloud Healthcare-Records Manager
Advanced Open IoT Platform for Prevention and Early Detection of Forest Fires
Mobile System for Personal Support to Psoriatic Patients
Business Process Modelling to Improve Incident Management Process
An Evaluation on the Usability of E-Commerce Website Using Think Aloud Method
Internet and Local Television in the Context of Digital Transformation
Evaluation, Analysis, and Treatment of Educational Risks in Migration of Presential Teaching for Remote
Developing an Intelligent Decision Support System Approach for Crisis Preparedness
Learning Analytics Metrics into Online Course's Critical Success Factors
Setting up a Mechanism for Predicting Automobile Customer Defection at SAHAM Insurance (Cameroon)
English Language Learning Using WhatsApp Application in a Classroom
The Importance of the Dimensions of a Smart City - A Survey in Small Cities
NoSQL Comparative Performance Study
SmartWalk Mobile - A Context-Aware m-Health App for Promoting Physical Activity Among the Elderly
In Search of Active Life Through Digital Storytelling: Inclusion in Theory and Practice for the Physical Education Teachers
Lego Methodology Approach for Common Criteria Certification of IoT Telemetry
Gamification in the Workplace: A Systematic Literature Review
Comparative Study of Web Pages as a Second Screen Information: Review of Cases of the Main National Television Channels of Member Countries of the Andean Community
Challenges and Strategies for Information Systems in the Decision-Making Process to Face the COVID-19 Pandemic: The São Paulo Case
CompGuide: Acquisition and Editing of Computer-Interpretable Guidelines
Data Analysis for Software Process Improvement: A Systematic Literature Review
Modeling Generalization in Domain Taxonomies Using a Maximum Likelihood Criterion
How to Predict Patient Arrival in the Emergency Room
Decision Intelligence in Street Lighting Management
Link Prediction Using Double Degree Equation with Mutual and Popular Nodes
Logic-Based Smart Contracts
ImageAI: Comparison Study on Different Custom Image Recognition Algorithms
Systematic Review Tool to Support the Establishment of a Literature Review
Steps Towards Online Monitoring Systems and Interoperability
A Knowledge Management Approach for Software Engineering Projects Development
Relating Biometric Sensors with Serious Games Results
Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems
Prototyping SDL Extensions
Domain Model Optimized Deployment and Execution of Cloud Applications with TOSCA
System Analysis and Modeling: About Models - 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers
Design and Development of a CPU Scheduler Simulator for Educational Purposes Using SDL
Data Encoding for SDL in ITU-T Rec. Z.104
Process Enactment with Traceability Support for NFV Systems
System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers
Timed Use Case Maps
Revisiting Model-Driven Engineering for Run-Time Verification of Business Processes
Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT
Timed High-Level Message Sequence Charts for Real-Time System Design
Towards Integrated Tool Support for the User Requirements Notation
Micro Protocol Design: The SNMP Case Study
A UML Profile for Communicating Systems
The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study
A Executable Formal Semantics for SDL-2000
Process-Based Simulation with Stackless Coroutines
Identification and Selection of Interaction Test Scenarios for Integration Testing
Goal Model Integration: Advanced Relationships and Rationales Documentation
Use of a Pivot Diagram in SysML to Support an Automated Implementation of a MBSE Design Methodology in an Industry 4.0 Context
Development of SDL Based Software for an Embedded System - Practical Experience
ICT Convergence: Modeling Issues
MSC Connectors: The Philosopher's Stone
iContractML: A Domain-Specific Language for Modeling and Deploying Smart Contracts onto Multiple Blockchain Platforms
Realizability of Service Specifications
Towards a Taxonomy of Syntactic and Semantic Matching Mechanisms for Aspect-Oriented Modeling
Scenario Synthesis from Imprecise Requirements
Protocol Syntax Development Using Domain Specific Modeling Languages
Modeling and Code Generation Framework for IoT
Techniques for Abstracting SDL Specifications
Distributed Computing on Distributed Memory
MID: A MetaCASE Tool for a Better Reuse of Visual Notations
SDL Time Extensions from a Semantic Point of View
SDL Based Auto Code Generation: A Multi Beneficial Approach
The SDL-UML Profile Revisited
SDL Design of a Radio Resource Control Protocol for 3G Evolution Systems with Two Different Approaches
Toward a UCM-Based Approach for Recovering System Availability Requirements from Execution Traces
Connecting Message Sequence Charts
A Semantics for MSC Based on Petri Net Components
Implementation of UMTS Protocol Layers for the Radio Access Interface
Integration of FlexRay into the SDL-Model-Driven Development Approach
Checking Secrecy by Means of Partial Order Reduction
SDL for Real-Time: What is Missing?
Application of Stuck-Free Conformance to Service-Role Composition
SDL Implementations for Wireless Sensor Networks - Incorporation of PragmaDev's RTDS into the Deterministic Protocol Stack BiPS
Early Validation of Deployment and Scheduling Constraints for MSC Specifications
Object-Oriented Operational Semantics
A Model Traceability Framework for Network Service Management
Facilitating the Co-Evolution of Semantic Descriptions in Standards and Models
A Comparative Analysis of ITU-MSC-Based Requirements Specification Approaches Used in the Automotive Industry
Automatic Generation of Conformance Tests from Message Sequence Charts
Analyzing Message Sequence Charts
Union Models: Support for Efficient Reasoning About Model Families Over Space and Time
An Arithmetic Semantics for GRL Goal Models with Function Generation
SPT - The SDL Pattern Tool
Architecture Framework for Software Safety
Exchanging the Target-Language in Existing, Non-Metamodel-Based Compilers
Efficient Representation of Timed UML 2 Interactions
On the Structure of Avionics Systems Architecture
Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network
Expression of Time and Duration Constraints in SDL
Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers
Deriving Distributed Design Models from Global State Machines Requirements
From Earthquake Detection to Traffic Surveillance - About Information and Communication Infrastructures for Smart Cities
Facilitating the Co-evolution of Standards and Models
URN: Towards a New Standard for the Visual Description of Requirements
Prototyping Domain Specific Languages as Extensions of a General Purpose Language
Enriching SDL Specifications with MSCs
SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000
SDL Code Generation for Network Simulators
Real-Time Tasks in SDL
Evolving the ETSI Test Description Language
Object-Oriented Specification of Protocols for Reusability
Model-Based Mining of Source Code Repositories
HyperMSC - a Graphical Representation of TTCN
Acceptance Test Optimization
Simulation Configuration Modeling of Distributed Communication Systems
CREST - A DSL for Reactive Cyber-Physical Systems
Adapting Integrity Checking Techniques for Concurrent Operation Executions
The Graphical Format of TTCN-3 in the Context of MSC and UML
Towards a Representation of Cellular Automaton Using Specification and Description Language
Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules
SDL Cellular Automaton COVID-19 conceptualization
Generating Test Suites to Validate Legacy Systems
Validating Wireless Protocol Conformance Test Cases
Validation and Test Case Generations for MSCs Using A Propositional SAT Solver
Towards an Extensible Modeling and Validation Framework for SDL-UML
Applying Reduction Techniques to Software Functional Requirement Specifications
An Empirical Study on the Anticipation of the Result of Copying and Pasting among UML Editors
Evaluation of Development Tools for Domain-Specific Modeling Languages
SAM '20: 12th System Analysis and Modelling Conference, Virtual Event, Canada, October 19-20, 2020
System Analysis and Modeling. Technology-Specific Aspects of Models - 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016, Proceedings
SDL Modules - Concepts and Tool Support
Requirements and Solutions for Timing Analysis of Automotive Systems
Modular Solutions to Common Design Problems Using Activities and the Interface-Modular Method
Layout Merging with Relative Positioning
Action-Driven Consistency for Modular Multi-Language Systems with Perspectives
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering - 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings
Pattern Libraries Guiding the Model-Based Reuse of Automotive Solutions
Applying MDA and OMG Robotic Specification for Developing Robotic Systems
Deployment and Configuration of Distributed Systems
On Deriving Detailed Component Design from High-Level Service Specification
Automating Scenario Merging
Behavioral Fuzzing Operators for UML Sequence Diagrams
Towards Correct Product Derivation in Model-Driven Product Lines
Dealing with Non-local Choice in IEEE 1073.2's Standard for Remote Control
Towards Online Collaborative Multi-view Modelling
Analysing the Cognitive Effectiveness of the UCM Visual Notation
Eventual Consistency Formalized
Towards Rule-Based Detection of Design Patterns in Model Transformations
Textual User Requirements Notation
A Developer-Friendly Approach for the Validation of Dynamic Compositions
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 - 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings
Refactoring and Metrics for TTCN-3 Test Suites
System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2
Collaborative Software Design and Modeling in Open Source Systems
Scheduling in SDL Simulation. Application to Future Air Navigation Systems
ConTraST - A Configurable SDL Transpiler and Runtime Environment
A Vision Towards A Conceptual Basis for the Systematic Treatment of Uncertainty in Goal Modelling
Applying eODL and SDL-Patterns for Developing TMN Managed Systems
Models '67 Revisited
Adaptation Of SOMT To The Development Of Systems Based Upon a Standard
Insights on the Use of OCL in Diverse Industrial Applications
Guidelines for Using SDL in Product Development
From Flow-Global Choreography to Component Types
Feature Location Through the Combination of Run-Time Architecture Models and Information Retrieval
Comparing UML 2.0 Interactions and MSC-2000
Relativity and Abstract State Machines
An attempt to convert BPMN models to SDL
Decomposition of Message Sequence Charts
A Flexible Micro Protocol Framework
Temporal Models for History-Aware Explainability
Extensible and Automated Model-Evaluations with INProVE
Rapid Development of Network Software via SDL/Socket Interfaces
Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY
CoSDL: An Experimental Language for Collaboration Specification
System Analysis and Modeling: Language Profiles, 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
An Extension for MSC-2000 and Its Application
A Simulator Interconnection Framework for the Accurate Performance Simulation of SDL Models
Towards automated provenance collection for runtime models to record system history
Model-Based Reconfiguration Planning for a Distributed On-board Computer
A Metamodel for SDL-2000 in the Context of Metamodelling ULF
Verifying Hypermedia Applications by Using an MDE Approach
An Approach to Specify and Analyze Goal Model Families
Search-Based Model Optimization Using Model Transformations
Associativity between Weak and Strict Sequencing
GRL Model Validation: A Statistical Approach
On the Ontological Expressiveness of the High-Level Constraint Language for Product Line Specification
Optimizing Performance of SDL Systems
Type-Safe Symmetric Composition of Metamodels Using Templates
Complex Event Processing in ThingML
Implementing the eODL Graphical Representation
UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models
Probabilities In The Torx Test Derivation Algorithm
A Model Driven Approach for AMF Configuration Generation
Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications
Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems
Experience from Using MSC, UML and SDL in the Development of the FAME Communication Manager
Representativeness and Descriptiveness of Task Trees Generated from Website Usage Traces
Configuration-Based Service Availability Analysis for Middleware Managed Applications
A Case Study on API Generation
SDL: Meeting the IoT Challenge
Enabling Performance Modeling for the Masses: Initial Experiences
On Bringing Object-Oriented Software Metrics into the Model-Based World - Verifying ISO 26262 Compliance in Simulink
Understanding Existing Software with Use Case Map Scenarios
BVR - Better Variability Results
Modeling Data Protection Vulnerabilities of Cloud Systems Using Risk Patterns
Real Time System Modeling with UML: current status and some prospects
Generic Graphical Navigation for Modelling Tools
Evaluating Variability Modeling Techniques for Supporting Cyber-Physical System Product Line Engineering
Approximation of (H)MSC Semantics By Automata
SDL in a Changing World
Formal Technical Process Specification and Verification for Automated Production Systems
eODL and SDL in Combination for Components
UML-Based Specification and Generation of Executable Web Services
On the Relationship between use-case maps and Message Sequence Charts