yusuke1997/dblp-id-title huggingface dataset:
Ad Hoc Security Associations for Groups
Multiple Target Localisation in Sensor Networks with Location Privacy
New Research Challenges for the Security of Ad Hoc and Sensor Networks
Security and Privacy in Ad-hoc and Sensor Networks, Second European Workshop, ESAS 2005, Visegrad, Hungary, July 13-14, 2005, Revised Selected Papers
RFID System with Fairness Within the Framework of Security and Privacy
Security for Interactions in Pervasive Networks: Applicability of Recommendation Systems
Distance Bounding in Noisy Environments
Security and Privacy in Ad-hoc and Sensor Networks, 4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007, Proceedings
Private Handshakes
Securely Propagating Authentication in an Ensemble of Personal Devices Using Single Sign-on
Advanced Detection of Selfish or Malicious Nodes in Ad Hoc Networks
Security and Cooperation in Wireless Networks
Spontaneous Cooperation in Multi-domain Sensor Networks
Key Establishment in Heterogeneous Self-organized Networks
Authenticating DSR Using a Novel Multisignature Scheme Based on Cubic LFSR Sequences
Security and Privacy in Ad-Hoc and Sensor Networks, Third European Workshop, ESAS 2006, Hamburg, Germany, September 20-21, 2006, Revised Selected Papers
Impact of Pseudonym Changes on Geographic Routing in VANETs
Ring Signature Schemes for General Ad-Hoc Access Structures
Secure Initialization in Single-Hop Radio Networks
Statistical Wormhole Detection in Sensor Networks
Verifiable Agreement: Limits of Non-repudiation in Mobile Peer-to-Peer Ad Hoc Networks
Remote Software-Based Attestation for Wireless Sensors
An Advanced Method for Joint Scalar Multiplications on Memory Constraint Devices
The Candidate Key Protocol for Generating Secret Shared Keys from Similar Sensor Data Streams
"End-by-Hop" Data Integrity
On the Effectiveness of Changing Pseudonyms to Provide Location Privacy in VANETs
New Strategies for Revocation in Ad-Hoc Networks
A Security Architecture for Mobile Wireless Sensor Networks
Blind Spontaneous Anonymous Group Signatures for Ad Hoc Groups
Key Distribution in Mobile Ad Hoc Networks Based on Message Relaying
Exploring Message Authentication in Sensor Networks
Cryptographic Protocol to Establish Trusted History of Interactions
Efficient Verifiable Ring Encryption for Ad Hoc Groups
Retrofitting Communication Security into a Publish/Subscribe Middleware Platform
Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment
Automated Reviewing of Healthcare Security Policies
Towards Formal Safety Analysis in Feature-Oriented Product Line Development
O wl O nt DB: A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxes
Challenges in eHealth: From Enabling to Enforcing Privacy
An Ontology for Regulating eHealth Interoperability in Developing African Countries
Towards Generic MDE Support for Extracting Purpose-Specific Healthcare Models from Annotated, Unstructured Texts
An Investigation of Classification Algorithms for Predicting HIV Drug Resistance without Genotype Resistance Testing
Towards a Formal Integrated Model of Collaborative Healthcare Workflows
NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery
An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump
Process Execution and Enactment in Medical Environments
A Bayesian Patient-Based Model for Detecting Deterioration in Vital Signs Using Manual Observations
Modelling Care Pathways in a Connected Health Setting
Engineering a Performance Management System to Support Community Care Delivery
Enhancing Product Line Development by Safety Requirements and Verification
Declarative Modelling and Safe Distribution of Healthcare Workflows
Building Semantic Causal Models to Predict Treatment Adherence for Tuberculosis Patients in Sub-Saharan Africa
Foundations of Health Information Engineering and Systems - Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers
Towards an AADL-Based Definition of App Architecture for Medical Application Platforms
Regulated Software Development - An Onerous Transformation
Demonstrating that Medical Devices Satisfy User Related Safety Requirements
A Tool for Analyzing Clinical Datasets as Blackbox
Patient Flow Monitoring Systems: Investigation of Alternatives
Trustworthy Pervasive Healthcare Services via Multiparty Session Types
Towards Continuous Certification of Clinical Information Systems
A Quantitative Analysis of the Performance and Scalability of De-identification Tools for Medical Data
Model-Based Solution for Controlling Physiology
Secure and Customizable EHR Management Services with COASTmed
Characterisation of Knowledge Incorporation into Solution Models for the Meal Planning Problem
Approach and Method for Generating Realistic Synthetic Electronic Healthcare Records for Secondary Use
Form Follows Function - Model-Driven Engineering for Clinical Trials
A Formal Diagrammatic Approach to Compensable Workflow Modelling
Performance of Early Warning Scoring Systems to Detect Patient Deterioration in the Emergency Department
Experiences with a Compositional Model Checker in the Healthcare Domain
Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers
Software Engineering in Health Care - 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers
Defining New Structural and Mobile Support to Improve Hospital Facilities Access and Usability
Position Paper: Researching and Developing Open Architectures for National Health Information Systems in Developing African Countries
Intelligent Tools for Reducing Medication Dispensing and Administration Error
Modelling and Analysis of Flexible Healthcare Processes Based on Algebraic and Recursive Petri Nets
Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey
A Technique for Strengthening Weak Passwords in Electronic Medical Record Systems
Use of XML Schema Definition for the Development of Semantically Interoperable Healthcare Applications
A Grid Based Distributed Cooperative Environment for Health Care Research
On the Safety of Electronic Medical Records
Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces
A Resource Flow Approach to Modelling Care Pathways
Insulin Pump Software Certification
Model Checking Workflow Monitors and Its Application to a Pain Management Process
Applying Information System Hazard Analysis to an Episodic Document Context
From Requirements to Code: Model Based Development of a Medical Cyber Physical System
Energy-Aware Model-Driven Development of a Wearable Healthcare Device
OR.NET: Safe Interconnection of Medical Devices - (Position Paper)
An Architecture and Reference Implementation of an Open Health Information Mediator: Enabling Interoperability in the Rwandan Health Information Exchange
A Modal Specification Approach for On-Demand Medical Systems
Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets
Closed-Loop Modeling of Cardiac Pacemaker and Heart
Medical Protocol Diagnosis Using Formal Methods
Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata
Foundations of Health Information Engineering and Systems - Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers
ICT-powered Health Care Processes - (Position Paper)
Panel Position Statements
Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, OOPWORK 1986, Yorktown Heights, New York, USA, June 9-13, 1986
Analyzing Conversations: Realizability, Synchronizability, and Verification
Matching And Mapping For Semantic Web Processes
The Enterprise Semantic Web
Semantic Annotations in Web Services
The Semantic Web: Real-World Applications from Industry
Semantic Management of Middleware
Assumption-Based Composition and Monitoring of Web Services
Model Checking with Abstraction for Web Services
Ontologising Competencies in an Interorganisational Setting
ws-Attestation: Enabling Trusted Computing on Web Services
Ontology Evolution
Ontology-Based Data Integration For Biomedical Research
The Future Of The Semantic Web For Enterprises
Ontology Management Infrastructures
Intelligent Search Engine For Online Access To Municipal Services
Geospatial Semantics and the Semantic Web - Foundations, Algorithms, and Applications
Keywords, Port Types and Semantics: A Journey in the Land of Web Service Discovery
Ontology-Based Geospatial Approaches for Semantic Awareness in Earth Observation Systems
Developing Course Management Systems Using The Semantic Web
Specifying and Monitoring Service Flows: Making Web Services Process-Aware
Ontology Management in e-Banking Applications
Designing Semantic Web Processes: The Wsdl-S Approach
Challenges of Testing Web Services and Security in SOA Implementations
Monitoring WS-Agreement s: An Event Calculus-Based Approach
Vulnerability Analysis of Web-based Applications
Bringing Semantic Security To Semantic Web Services
Representing and Utilizing Changing Historical Places as an Ontology Time Series
Semantic Technology For e-Government
The Semantic Web and Its Applications
Semantic Web Services, Processes and Applications
SPARQL-ST: Extending SPARQL to Support Spatiotemporal Queries
Engineering and Customizing Ontologies
Topographic Mapping Data Semantics Through Data Conversion and Enhancement
Temporal Reasoning Of Reactive Web Services
Web Services Modeling Ontology
Unit Testing BPEL Compositions
Business Process Management And Semantic Technologies
Programming The Semantic Web
Integration Of Customer Information Using The Semantic Web
Semantic Web Technologies For The Financial Domain
Web Services Composition
A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services
Ontology Alignment: Bridging the Semantic Gap
Location-Based Access Control Using Semantic Web Technologies
Spatial Cyberinfrastructure: Building New Pathways for Geospatial Semantics on Existing Infrastructures
Ontologies: State of the Art, Business Potential, and Grand Challenges
Ontology-Based Knowledge Management In The Steel Industry
Reliability Modeling and Analysis of Service-Oriented Architectures
Social Networks and the Semantic Web
Active Semantic Electronic Medical Records
Building Semantic Business Services
Run-Time Monitoring in Service-Oriented Architectures
Ontology Reasoning with Large Data Repositories
Semantic Referencing of Geosensor Data and Volunteered Geographic Information
Ontology-Based Knowledge Management in Automotive Engineering Scenarios
Ontology Management, Semantic Web, Semantic Web Services, and Business Applications
WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography
Bioinformatics Applications Of Web Services, Web Processes And Role Of Semantics
Developing An Owl Ontology For e-Tourism
The Business View: Ontology Engineering Costs
Basic Concepts In Choreography Services
Web Services Regression Testing
Ontology Alignments
Targeting Learning Resources In Competency-Based Organizations
Improved Reinforcement Computing to Implement AntNet-Based Routing Using General NPs for Ubiquitous Environments
A Smart Sensor Overlay Network for Ubiquitous Computing
Architecture of an LBS Platform to Support Privacy Control for Tracking Moving Objects in a Ubiquitous Environments
DCAR: Dynamic Congestion Aware Routing Protocol in Mobile Ad Hoc Networks
Dynamic EPG Implementation for Ubiquitous Environment
A Study on the Personal Program Guide Technique Within Ubiquitous Media Community Environment Using Multi-band Sensor Gateway
Video Coding Techniques for Ubiquitous Multimedia Services
Performance Enhancement of Error Resilient Entropy Coding Using Bitstream of Block Based SPIHT
Ant Colony Optimization for Satellite Customer Assignment
WODEM: Wormhole Attack Defense Mechanism in Wireless Sensor Networks
Design of a Cooperative Distributed Intrusion Detection System for AODV
Remote Diagnostic Protocol and System for U-Car
An Approach to Reliable and Efficient Routing Scheme for TCP Performance Enhancement in Mobile IPv6 Networks
iSCSI Protocol Parameter Optimization for Mobile Appliance Remote Storage System at Smart Home Environment Approach
Residual Signal Compression Based on the Blind Signal Decomposition for Video Coding
Personalized Life Log Media System in Ubiquitous Environment
Layer-Based ID Assigning Method for Sensor Networks
Dual Priority Scheduling Based on Power Adjust Context Switching for Wireless Sensor Network
An Embedded Variable Bit-Rate Audio Coder for Ubiquitous Speech Communications
Towards a Security Policy for Ubiquitous Healthcare Systems (Position Paper)
LRMAP: Lightweight and Resynchronous Mutual Authentication Protocol for RFID System
Advanced Remote-Subscription Scheme Supporting Cost Effective Multicast Routing for Broadband Ubiquitous Convergence IP-Based Network
Product Control System Using RFID Tag Information and Data Mining
An Efficient Sensor Network Architecture Using Open Platform in Vehicle Environment
Anonymous Secure Communication in Wireless Mobile Ad-Hoc Networks
Map-Building and Localization by Three-Dimensional Local Features for Ubiquitous Service Robot
Ubiquitous Convergence Technology, First International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers
Novel Process Methodology of Smart Combi Card (SCC) Manufacturing for RFID/USN
A New Low-Power and High Speed Viterbi Decoder Architecture
A Study on Optimal Fast Handover Scheme in Fast Handover for Mobile IPv6 (FMIPv6) Networks
A DiffServ Management Scheme Considering the Buffer Traffic Rate in Ubiquitous Convergence Network
The role of physiological signals in human-machine interaction
ARnopoly: exploring strengths and weaknesses of AR experience enhancing board games (short paper)
Digital biomarkers of mood states from speech in bipolar disorder (short paper)
A multi-source deep learning model for music emotion recognition
A protocol to evaluate the impact of visual distractors on driving attention using a virtual reality simulator (short paper)
An experimental protocol to access immersiveness in video games
Proceedings of the 3rd Workshop on Artificial Intelligence for Human-Machine Interaction 2024 co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), Bolzano, Italy, November 26, 2024
Habit Coach: Customising RAG-based chatbots to support behavior change
Emotion detection using deep learning on spectrogram images of the electroencephalogram
AI to detect Parkinson's disease symptoms via wearables: from detection to management to treatment
Assessing the impact of selective attention in a minimalist virtual reality driving simulator: An analysis of perceived experience, motion sickness
Rule enforcement in LLMs: a parameter efficient fine-tuning approach with self-generated training dataset
Are we all good actors? A study on the feasibility of generalizing speech emotion recognition models
Psychological stress detection with optimally selected EEG channel using machine learning techniques
Proceedings of the 2nd Workshop on Artificial Intelligence for Human-Machine Interaction 2023 co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 6, 2023
Respiratory rate estimation via sensor pressure mattress: a single subject evaluation
A multi-artifact EEG denoising by frequency-based deep learning
AI personalised models based on subjective data
Soundscapes of the soul: armonia vitale (short paper)
The ability of generative AI to express emotions through abstract images: a preliminary study design (short paper)
Assessing appropriate reliance: a framework for evaluating AI influence on user decision-making
Co-design of scenarios for interacting with a NAO robot in treating autism spectrum condition
Unimib Assistant: designing a student-friendly RAG-based chatbot for all their needs
Developing Predictors for Student Involvement in Generic Competency Development Activities in Smart Learning Environment
A management methodology for testing software requirements
PePPeR: A New Model to Bridge the Gap between User and Designer Perceptions
Effectiveness of a Data-based Influence Maximization Algorithm Using Information Diffusion Cascades
Timing Synchronization of ZigBee Sensor Network for Ecology Observation
The Essence of the Visitor Pattern
Data Structure and Algorithm in Data Mining: Granular Computing View
An Ontology-Enabled Service Discovery for Supporting Health Promotion System
Managing Business Process Risk Using Rich Organizational Models
It's Different on the Other Side of the Pond. But Should It Be That Way?
The software development system: Status and evolution
Multi-pass Transmission Policy: An Effective Method of Transmitting Large Multimedia Objects in the Wide-Area Network
A Three-Dimensional Approach to Evolving Software
COMET: Co-simulation of Multi-Energy Systems for Energy Transition
Cultural Heritage Assets Optimization Workflow for Interactive System Development
An Efficient and Verifiable Polynomial Cross-chain Outsourcing Calculation Scheme for IoT
Evaluation of OOAD methodologies
Dataclouddsl: Textual and Visual Presentation of Big Data Pipelines
A Consistency Model for Identity Information in Distributed Systems
Integrating Multiple Visual Attention Mechanisms in Deep Neural Networks
Temporal Dependency Rule Learning Based Group Activity Recognition in Smart Spaces
Automated Duplicate Bug Report Detection in Large Open Bug Repositories
On porting sequential programs to parallel machines
Malware Detection using Attributed CFG Generated by Pre-trained Language Model with Graph Isomorphism Network
(Position Paper) Fault-Tolerant Software
An IoT Architecture for Personalized Recommendations over Big Data Oriented Applications
A Reusable Software Architecture Model for Manufactory Management Information System
Information Security of Remote File Transfers with Mobile Devices
Parallel Genetic Algorithms with Schema Migration
Detecting Malicious Inputs of Web Application Parameters Using Character Class Sequences
Security aspects of higher order software
An Insight Into the Impact of Dockerfile Evolutionary Trajectories on Quality and Latency
Measuring Distance between Program Features
WatchOverGPT: A Framework for Real-Time Crime Detection and Response Using Wearable Camera and Large Language Model
Key Aspects Augmentation of Vulnerability Description based on Multiple Security Databases
Enhanced client-side internal load balancing for in 5G Online Charging System
An approach to peal-time control flow checking
An Architecture of Wireless Web and Dialogue System Convergence for Multimodal Service Interaction Over Converged Networks
Detecting Dealer Cheating in Secret Sharing Systems
Design & Simulation of a Classical Controller to Improve the Performance of a Planar Stick-Slip Micro-Robot
CSDLEEG: Identifying Confused Students Based on EEG Using Multi-View Deep Learning
A Comparison of Deep Learning and Traditional Machine Learning Approaches in Detecting Cognitive Impairment Using MRI Scans
Identification of the Impacts of Code Changes on the Security of Software
Continuing education in microprocessors: Use of software simulators
19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA
Risk-Based Adaptive Group Testing of Semantic Web Services
Re-Structuring and Specific Similarity Computation of Electronic Medical Records
A flexible control mechanism for managing interrelated/interdependent tasks successively
Towards Realizing a Self-Protecting Healthcare Information System
Towards trustworthy tracing responsibility of collaborative software engineering artefacts of student's software projects
A2QDT: a syntax-directed Prolog dialect translator
Data-Flow-Based Unit Testing of Aspect-Oriented Programs
PIXHELL Attack: Leaking Sensitive Information from Air-Gap Computers via 'Singing Pixels'
Smart Home applied to historic buildings A real case study
A software project management system supporting the cooperation between managers and workers-design and implementation
Off-the-shelf LoRaWAN: Experimenting on the prospect of a low-cost rapid prototyping solution
A dialogue manager for efficient adaptive man-machine dialogues
Contextual Embedding-based Clustering to Identify Topics for Healthcare Service Improvement
A Method of Mobile Core Network Load Reduction Using Autonomous Clustering-Based Two-Layered Structure for Information Dissemination in Wireless Networks
How to Bring Project Management of Embedded Systems to an Appropriate Level of Abstraction for a Discrete Event Model
Toward an object-oriented modeling approach with representation of temporal knowledge
Detect Related Bugs from Source Code Using Bug Information
Risk Assessment in Early Software Design Based on the Software Function-Failure Design Method
Message from NATA Symposium Organizing Committee
Measuring Software Assurance
Impacts of Size and History Length on Energetic Community Load Forecasting: A Case Study
Identification of Cybersecurity Specific Content Using the Doc2Vec Language Model
MineSpider: Extracting URLs from Environment-Dependent Drive-by Download Attacks
Product Line Variability Modeling Based on Model Difference and Merge
Automatic Detection of NoSQL Injection Using Supervised Learning
COMPSAC 2015 Plenary Panel on "Rebooting Computing"
Teaching Software Engineering in Developing Countries: A Position Paper
Software Piracy Forensics: A Proposal for Incorporating Dead Codes and Other Programming Blunders as Important Evidence in AFC Test
Security Orchestration with Explainability for Digital Twins-Based Smart Systems
Implementing a self-development neural network using doubly linked lists
Supporting Preemption in Wormhole Networks
An Optimization Strategy for Evolutionary Testing Based on Cataclysm
Interoperability with Distributed Objects through Java Wrapper
Towards Dynamic Component Updating: A Flexible and Lightweight Approach
Detecting Successful Attacks from IDS Alerts Based On Emulation of Remote Shellcodes
Multimedia object modelling and storage allocation strategies for heterogeneous parallel access storage devices in real time multimedia computing systems
Implementing Hierarchical Features in a Graphically Based Formal Modelling Language
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010, Seoul, Korea, 19-23 July 2010
Testing Intent-Based Test Case Prioritization and Selection using Derived Attributes
On analysis of secure information systems: a case study
Integration of mHealth into Primary Health Care for Child Cancer Patients - An approach to reduce health inequities in Bangladesh
Component-Based Design of Large-Scale Distributed Systems
Visualization of Crowd Contamination Simulations Using Immersive Virtual Reality
A Proposal for the Smart Classroom Infrastructure Using IoT and Artificial Intelligence
Self-Instructional Training Interface Using a Speech Bubble That Facilitates Users to Internalize the Automatically Generated Texts
How to Generate Realistic Network Traffic?
Development and Runtime Support for Situation-Aware Application Software in Ubiquitous Computing Environments
An Empirical Study of the Use of Frankl-Weyuker Data Flow Testing Criteria to Test BPEL Web Services
Extraction of Subjective Information from Large Language Models
Design Methodology for a Modular Component Based Software Architecture
Firewall Security: Policies, Testing and Performance Evaluation
Designing Interpersonal Communication Software for the Abilities of Elderly Users
A Mixed Integer Programming Solution for Network Optimization Under Tunneling-Based Traffic Engineering Schemes
DRANs: Resilient Disaster Recovery Access Networks
Performance Improvement for Collection Operations Using Join Query Optimization
An Energy Efficient Pedestrian Heading Estimation Algorithm using Smartphones
Sensor Information Fueling Open Data
Privacy-Preserving Self-Supervised Learning for Secure Image Processing: A BYOL-Based Framework for MNIST and Chest X-ray Data