yusuke1997/dblp-id-title huggingface dataset:
ACM Computer Science in Cars Symposium, German Research Center for Artificial Intelligence, Kaiserslautern, Germany, October 8, 2019
Analysis of E-Mobility-based Threats to Power Grid Resilience
V2X Misbehavior in Decentralized Notification Basic Service: Considerations for Standardization
Leveraging Interpretability: Concept-based Pedestrian Detection with Deep Neural Networks
Robust Semantic Video Segmentation through Confidence-based Feature Map Warping
Analysis of the DoIP Protocol for Security Vulnerabilities
Evaluation of Level 2 Automated Driving Artificial Intelligence Readiness in Simulated Scenarios
Autonomous Vehicles: Data Protection and Ethical Considerations
A Data Protection-Oriented System Model Enforcing Purpose Limitation for Connected Mobility
VATT&EK: Formalization of Cyber Attacks on Intelligent Transport Systems - a TTP based approach for Automotive and Rail
Following the White Rabbit: Integrity Verification Based on Risk Analysis Results
A Self-Supervised Feature Map Augmentation (FMA) Loss and Combined Augmentations Finetuning to Efficiently Improve the Robustness of CNNs
From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling
Enabling Secure Communication for Automotive Endpoint-ECUs through Lightweight-Cryptography
A Systematic Approach for Automotive Privacy Management
A Distributed Model-Free Ride-Sharing Algorithm with Pricing using Deep Reinforcement Learning
Increasing pedestrian detection performance through weighting of detection impairing factors
DNN Analysis through Synthetic Data Variation
Steering Your Car With Electromagnetic Fields
(Un)authenticated Diagnostic Services: A Practical Evaluation of Vulnerabilities in the UDS Authentication Service
Attribute-Based Credentials in High-Density Platooning
HIP-20: Integration of Vehicle-HSM-Generated Credentials into Plug-and-Charge Infrastructure
Lightweight Privacy-Preserving Ride-Sharing Protocols for Autonomous Cars
Privacy by Design: Survey on Capacitive Proximity Sensing as System of Choice for Driver Vehicle Interfaces
Context-aware Anomaly Detector for Monitoring Cyber Attacks on Automotive CAN Bus
Transmission power control in mobile wireless sensor networks: Simulation-based approach
Electronic commerce and supervision platform in agriculture based on Web 3.0
Applying multi-agent wireless sensor network on wind turbine monitoring and control systems
Compatibility between the IMT-A service with digital broadcasting in the digital dividend band
An experimental study of supporting collaborative haptic interaction in distributed virtual environments over wireless networks
Improved look-ahead re-synchronization window for HMAC-based one-time password
Measured radio wave behavior of a partially open drain in urban environment
New concept of a modular wireless base station and benefits for network management and energy efficiency
Latency evaluation of authentication protocols in centralized 802.11 architecture
Delay, throughput and packet absorption rate analysis of heterogeneous WMN
Throughput analysis of IEEE802.11n using OPNET
Invited paper the path of TV white space
Practical implementation of self-powered wireless sensor networks for paddy field monitoring
Statistical routing protocol for handover management in Wireless Sensor Networks
Interference analysis and reduction in cellular network
Evaluating the energy-efficiency of transport layer protocols in a battery-powered wireless mesh networks
Joint carrier frequency offset and channel parameters estimation for MIMO-OFDM systems
Performance study of zeroth-, first- and second-order data abstraction and reformation algorithms for wireless sensor networks
An ns-3 HSPA network simulator with application to evaluating a base station removal algorithm
Real-time application session transfer over IP Multimedia Subsystem (IMS) network
Bridging digital divide in Malaysia using low cost WiMAX-WiFi multi-hop network
Provisioning WSN Coverage via minimax based sensor node placement scheme
The effect of probe interval estimation on attack detection performance of a WLAN independent intrusion detection system
Location based recommender systems: Architecture, trends and research areas
Energy evaluation of data aggregation and authentication protocol (DAA) in wireless sensor networks
Development of wireless Bluetooth heart rate remote monitoring system
Formalizing an abstract architecture for the alternative data source utilized during system availability under intrusion threat
Performance analysis of video streaming on different hybrid CDN & P2P infrastructure
UWB waveform set design using Löwdin's orthogonalization with Hermite Rodriguez functions
A utility-based intelligent network selection for 3G and WLAN heterogeneous networks
A novel vehicular mobility modelling technique for developing ITS applications
Fusion of navigation technology and E-Learning systems for on-the-spot learning
Using multi-agent system with publish/subscribe model in a mobile framework for capturing social network users' behaviour
Road traffic prediction using Bayesian networks
Precision agriculture monitoring system based on wireless sensor networks
Theoretical estimators and lower-bounds for receiver-to-receiver time synchronization in multi-hop wireless networks
Wireless mesh networks for efficient provision of reliable broadband communication services
Adaptive clustering with transmission power control in wireless sensor networks
An automatic verifier for the feasibility of special cases of the offline dynamic storage allocation problem
An investigation of vegetation effect on the performance of IEEE 802.11n technology at 5.18 GHz
Spectrum occupancy of Malaysia radio environment for cognitive radio application
DEST: Distributed endurant spanning tree for data aggregation on wireless sensor networks
Cross-domain data exchanges for web application
Reinforcement learning approach for centralized Cognitive Radio systems
Experimental characterization of NLOS broadband millimeter wave links
A system for an enterprise remote network monitoring and fault management based on SMS and WAP
Image compression with short-term visual encryption using the burrow wheeler transform and keyed transpose
End-to-end throughput and delay analysis of WiFi multi-hop network with deterministic offered load
IET International Conference on Wireless Communications and Applications, ICWCA 2012, Kuala Lumpur, Malaysia, October 8-10, 2012
Radio propagation prediction model for maritime mobile communication
The Role of Cognitive Science in Knowledge Engineering
Knowledge Aquisition form Cases
Making Application Programming More Worthwile
Facts, Fantasies and Frameworks: The Design of a Knowledge Acquisition Workbench
Knowledge Acquisition and the Interpretative Paradigm
Mapping Expert Bevior onto Task-Level Frameworks: The Need for "Eco-Pragmatic" Approaches to Knowledge Engineering
A Comparative Assessment of Selected Approaches in the Focal Area of Knowledge Engineering and Cognition
Knowledge Acquisition as an Empirically Based Modelling Activity
The Cognitive Basis of Knowledge Engineering
Case-Based Reasoning and Model-Based Knowledge Acquisition
The Refitting of Plans by a Human Expert
Knowledge Acquisition by Generating Skeletal Plans from Real World Cases
Transforming Examples into Cases
Case-Based Reasoning and Expert System Development
Using Information Technology to Solve Real World Problems
Two Questions from Expert System Developers to Cognitive Scientists
Relations Between Knowledge Engineering and Cognition
Shifting Positions: Moving from a Cognitive Science Point of View to a Knwoledge Engineering Stance
Contemporary Knowledge Engineering and Cognition, First Joint Workshop, Kaiserslautern, Germany, February 21-22, 1991, Proceedings
A kernel function for Signal Temporal Logic formulae
Evaluating LLMs Capabilities at Natural Language to Logic Translation: A Preliminary Investigation
Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2024, Bolzano, Italy, November 28-29, 2024
Formal Logical Reasoning With Transformers and Their Place on the Chomsky Hierarchy
A Language for Timeline-based Planning
Theorem Proving for Non-normal Modal Logics
Automated Synthesis of Certified Neural Networks: Initial Results and Open Research Lines
Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification
Towards Modern Rule-Based Learning
Growing HOLMS, a HOL Light Library for Modal Systems
On the Formalization of Decentralized Contact Tracing Protocols
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds
AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials
Many-Expert Decision Trees
Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023
Temporal Many-valued Conditional Logics: an Abridged Report
Model Checking of Optimal LTL and ASAP Properties
Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas
Automata-Based Temporal Reasoning in Answer Set Programming with Application to Process Mining
On Challenges and Opportunities in the Translation of Deep Neural Networks into Finite Automata
Formal Runtime Monitoring Approaches for Autonomous Vehicles
A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking
Run-time Monitoring for Robot-Assisted Surgery
Formal Design of Cyber-Physical Systems with Learning-Enabled Components
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020
Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements
A First-Order Interval Temporal Logic for Adjacent Variables Temporal Data
Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf
Bayesian Neural Predictive Monitoring
Towards Machine Learning Enhanced LTL Monitoring
Minimal Rules from Decision Forests: A Systematic Approach
A Comparison of Machine Learning Techniques for Ethereum Smart Contract Vulnerability Detection
Clock Specifications for Temporal Tasks in Planning and Learning
Recent Results on Computable and Compositional Semantics for Hybrid Systems
Reasoning in Multi-Agent Conformant Planning over Transition Systems
Tree Kernels to Support Formal Methods-based Testing of Evolving Specifications
On Optimizing Simulation-Based Verification of Cyber-Physical Systems via Statistical Model Checking: a Preliminary Work
Symbolic Learning with Interval Temporal Logic: the Case of Regression
Composition of Nondeterministic Services for LTLf Task Specification
Electricity Network Constraint Management using Individualised Demand Aware Price Policies
Towards Compliance of Smart Contracts with the European Union Data Act
Integrating L0 regularization into Multi-layer Logical Perceptron for Interpretable Classification
Towards Large Language Model Architectures for Knowledge Acquisition and Strategy Synthesis
Formalizing Decisional and Operational Roles in Legal Contracts via Term-Modal Logic
Finite vs. Infinite Traces in Temporal Logics
Optimal Fault-Tolerant Relay Node Positioning in Critical Wireless Networks via Artificial Intelligence
ODD-Based Health Monitoring and Predictive Maintenance of Degrading Vehicle Functionality
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies
Joint Proceedings of the Joint Workshop on Knowledge Diversity and Cognitive Aspects of KR and the Workshop on Symbolic and Neuro-Symbolic Architectures for Intelligent Robotics Technology (KoDis-CAKR-SYNERGY 2024) co-located with the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, November 2-8, 2024
On the Suitability of Inconsistency Measures
Explaining Agent Behaviour via Causal Analysis of Mental States
A Report on Sequential KR-Approaches as Cognitive Logic
ExACT Explainable Clustering: Unravelling the Intricacies of Cluster Formation
Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the 2nd Workshop on Cognitive Aspects of Knowledge Representation co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023), Rhodes, Greece, September 3-4, 2023
Communication with Individuals with Disabilities and the Role of LLMs: Progress Report
Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem
Cognitively Adequate Complexity of Reasoning in a Description Logic
Unifying Abduction and Deduction through Argumentation
Answer Set Programming and Large Language Models interaction with YAML: Second Report
Copredication and Ontological Mutability
From Infinite to Finite Traces and Back: Linear Temporal Logic in Sequential Decision Making
Using Ontology to Analyze Sentiment of Comments on Vietnamese Social Media
Situation Calculus Temporally Lifted Abstractions for Generalized Planning - Extended Abstract
An Experiment with LLM in Contract Extraction
Formal Aspects of Strategic Reasoning
The Service Security Lab: A Model-Driven Platform to Compose and Explore Service Security in the Cloud
Ant Inspired Scalable Peer Selection in Ontology-Based Service Composition
Automating Reusable Workflow Development from Design to Instantiation
User Experiences on a Community-Based Music Voting Service
Towards an Enterprise Business Process Architecture Standard
A Distributed Agent Coalition Algorithm for Web Service Composition
A Model for Business Process Automation in Service Oriented Systems with Knowledge Management Technologies
6th World Congress on Services, SERVICES 2010, Miami, Florida, USA, July 5-10, 2010
Information Pricing - A User-Data Centric Method to Price Information
Supporting Remote Therapeutic Interventions with Mobile Processes
AOP-Based Monitoring Instrumentation of JBI-Compliant ESB
Adaptive Fault Tolerance in Real Time Cloud Computing
Quest for Requirements: Scrutinizing Advanced Search Queries for Cloud Services with Fuzzy Galois Lattices
Autonomous Decentralized Community Construction and Reconstruction Technology for Service Assurance
Ontology-Based Semantic Blog Model for Recommending Blog Resource to Interest Communities
A Reference Curriculum for Service Engineering
A Semantic Repository for Adaptive Services
Services Computing and Regtech
Accelerating Parameter Sweep Workflows by Utilizing Ad-hoc Network Computing Resources: An Ecological Example
Design and Evaluation of Opal2: A Toolkit for Scientific Software as a Service
Business Value Assessment of Packaged Applications
Service-Oriented IoT Resources Access and Provisioning Framework for IoT Context-Aware Environment
Wireless Certificate Management Protocol Supporting Mobile Phones
Data Service Modeling in the AquaLogic Data Services Platform
Audit Log Management in MongoDB
Low-Cost Distributed Key Management
A Design and Verification Framework for Service Composition in the Cloud
Auto-configurable, Reliable, and Fault-Tolerant Cloud Storage with Dynamic Parameterization
ADARM: An Application-Driven Adaptive Resource Management Framework for Data Centers
An Agent-Oriented Method for Designing Large Socio-technical Service-Ecosystems
xAFCL: Run Scalable Function Choreographies Across Multiple FaaS Systems
Moving Text Analysis Tools to the Cloud
Integrated Exploration of Data-Intensive Business Processes [Extended Abstract]
Toward Live Migration of SGX-Enabled Virtual Machines
Rule-Based Semi Automatic Web Services Composition
Dyn-YCSB: Benchmarking Adaptive Frameworks
Scientific Workflow Development Using Both Visual and Script-Based Representation
CEEM: A Practical Methodology for Cloud Services Evaluation
A Service-Oriented Approach for the Collaborative Simulation of Complex Engineering Systems
Privacy-preserving Diverse Keyword Search and Online Pre-diagnosis in Cloud Computing
Embedding a Distributed Auditing Mechanism in the Service Cloud
Toward Increasing Awareness of Suspicious Content through Game Play
Provenance-Based Analytics Services for Access Control Policies
IEEE 2020 World Congress on Services Welcome Message from the Women in Services Computing Symposium Chair
Adapting REST To REAST, Building Smarter Interactions for Personal Web Tasking
The Business Choreography Language (BCL) - A Domain-Specific Language for Global Choreographies
Cyber Resilience in IoT Network: Methodology and Example of Assessment through Epidemic Spreading Approach
Context-Driven Optimization of Mobile Service-Oriented Systems for Improving Their Resilience
Testing Web Services Composition Using the TGSE Tool
Security Engineering Approach to Support Software Security
Next Generation Business Process Management: A Paradigm Shift
COSINE: a software development model integrating collective intelligence, service and ecosystem
A Multi-layered Architecture for Process Variation Management
Mobile Services Business and Technology Trends
Message from General Chairs of IEEE AISA 2020
A Business-Goal-Service-Capability Graph for the Alignment of Requirements and Services
Dynamic User Allocation in Stochastic Mobile Edge Computing Systems
Service Evolution Lifecycle for Service Oriented Architecture
User Collaborative Semantic Web Service Matching for Legacy Application Integration
Towards Adaptable and Evolving Service Choreography in the Future Internet
A Question-Driven Source Code Recommendation Service Based on Stack Overflow
Constrained App Data Caching over Edge Server Graphs in Edge Computing Environment
Towards a Genetic Algorithm Approach to Automating Workflow Composition for Web Services with Transactional and QoS-Awareness
A Reference Model for Master of Science Program in Services Computing
Attributed Publication and Selection for Web Service-Based Distributed Systems
gUML: Reasoning about Energy at Design Time by Extending UML Deployment Diagrams with Data Centre Contextual Information
An Approach to Dynamic Provisioning of Social and Computational Services
SoftKG: Building A Software Development Knowledge Graph through Wikipedia Taxonomy
Personalized Mobile Web Service Discovery
Performance Evaluation in a Cloud with the Provisioning of Different Resources Configurations
Service Oriented Enterprise Architecture Framework
Services Computing: A New Thinking Style of Education and Engineering
Interorganisational Architectural Framework Leveraging Web Services and AJAX
Designing a Contractual Choreography Language for Automating Cross-organizational Business Collaboration
KASRA Framework: A Service Oriented Enterprise Architecture Framework (SOEAF)
Enforcing User-Defined Management Logic in Large Scale Systems
Fast Service Selection Using rete Network in Dynamic Environment
Towards Knowledge Management in Self-Adaptable Clouds
Scheduling Multiple Scientific and Engineering Workflows through Task Clustering and Best-Fit Allocation
Enabling Supply Chain Collaboration in a Hybrid Cloud
Providing Proactive Fault Tolerance as a Service for Cloud Applications
A New Automatic Chinese Poetry Generation Model Based On Neural Network
Composing Continuous Services in a CoAP-Based IoT
Heterogeneous Service Selection Based on Formal Concept Analysis
A Domain Specific Language for UN/CEFACT's Core Components
New Task Oriented Recommendation method Based on Hungarian algorithm in Crowdsourcing Platform
An E-Government Service as PaaS Application to Serve Switzerland's Municipalities
Towards Data Management of Web-Based Spatial Decision Support: The Case of Facility Network Transformation Analysis Services
Document-Based Dynamic Workflows: Towards Flexible and Stateful Services
Using Mapping Relations to Semi Automatically Compose Web Services
QoS Auditing for Evaluation of SLA in Cloud-based Distributed Services
ProtocolDB: A Semantic Workflow Solution for Innovative Translational Research
A Mash Up Home Library Management System
Evaluation of Big Data Governance - Combining a Multi-Criteria Approach and Systems Theory
Energy-Efficient Resource Management for Scientific Workflows in Clouds
Grouping Distributed Stream Query Services by Operator Similarity and Network Locality
Functional Units: Abstractions for Web Service Annotations
WSSecTool: A Web Service Security Analysis Tool Based on Program Slicing
IoT Contexts Acquisition with High Accuracy and Efficiency
Secure Private Cloud Architecture for Mobile Infrastructure as a Service
Towards Self-Organizing Service-Oriented Architectures
Second International Workshop on Engineering Mobile Service Oriented Systems (EMSOS 2014)
Value Entropy: A Systematic Evaluation Model of Service Ecosystem Evolution
HRPaaS: A Handwriting Recognition Platform as a Service Based on Middleware and the HTTP API
An Evaluation of Open Source Serverless Computing Frameworks Support at the Edge
Adapting Medical Image Processing Tasks to a Scalable Scientific Workflow System
Contracting of Web Services with Constraint Handling Rules
Integrating Open SAF High Availability Solution with Open Stack
Predicting Student Blood Pressure by Support Vector Machine Using Facebook
Types for Workflow Access Control in Web Service Context
Analysis of Involuntary Movements for Adapting Input Devices to People with Motor Impairments Based on 3-Axis Accelerometers
MAuth: A Fine-Grained and User-centric Permission Delegation Framework for Multi-mashup Web Services
A Rental Advising System Based on Service Oriented Architecture
Using Stateful Activities to Facilitate Monitoring and Repair in Workflow Choreographies
CBR Based Workflow Composition Assistant
Latency-driven Model Placement for Efficient Edge Intelligence Service
Just Satisfactory Resource Provisioning for Parallel Applications in the Cloud
On Blockchain Architectures for Trust-Based Collaborative Intrusion Detection
Autonomic Business-Driven Decision Making for Adaptation of Web Service Compositions
Design and Delivery Practices of the Summer School on Services Computing
IEEE World Congress on Services, SERVICES 2022, Barcelona, Spain, July 10-16, 2022
Management Model Proposal for Portuguese Public Administration Shared Services
Towards Provisioning the Cloud: On the Usage of Multi-Granularity Flows and Services to Realize a Unified Provisioning Infrastructure for SaaS Applications
Engineering the Future of AI for the Enterprises : Keynote 4
Scaling-Up Item-Based Collaborative Filtering Recommendation Algorithm Based on Hadoop
A User Profile Based Pension Service Recommendation Algorithm
IEEE World Congress on Services, SERVICES 2021, Chicago, IL, USA, September 5-10, 2021
Intelligent Workload Factoring for a Hybrid Cloud Computing Model
TrustCloud: A Framework for Accountability and Trust in Cloud Computing
IEEE First International Workshop on Service Orchestration and Choreography for the Future Internet (OrChor 2014)
Measurement and Observation of Cross-Provider Cross-Region Latency for Cloud-Based IoT Systems
TMR: Towards a Trusted MapReduce Infrastructure
Approaches for Implementing Persistent Queues within Data-Intensive Scientific Workflows
A Service Oriented Architecture for Biomedical Question Answering System
An Investigation on Interdisciplinary Structure of Service Science
Multi-view Scenario-based Service Resource Description Modeling and Application Method
Innovating with Cloud Computing: Insights from Two Entrepreneurship Models
High-Performance Classification of Phishing URLs Using a Multi-modal Approach with MapReduce
SHoPS: Set Homomorphic Proof of Data Possession Scheme in Cloud Storage Applications
Scientific Workflow Systems for 21st Century, New Bottle or New Wine?
2008 IEEE World Congress on Services, SERVICES II, Beijing, China, September 23-26, 2008
Improving Interoperability of Digital Certificates for Software & Services
Web-Based Decision Making for Complex Event Processing Systems
The Fourth IEEE International Workshop on the Future of Software Engineering for/in the Cloud 2014 (FoSEC 2014)
Second Life Gift Registry: Bringing Retail Web Applications into the Metaverse
Service-Oriented Architecture Roadmapping
Holistic and Change-centric Model for Web Service Evolution