yusuke1997/dblp-id-title huggingface dataset:
The Living Systems Technology Suite: An Autonomous Middleware for Autonomic Computing
Incentive Problem for Ad Hoc Networks Scalability
Joint International Conference on Autonomic and Autonomous Systems 2005 / International Conference on Networking and Services 2005, ICAS/ICNS 2005, Papeete, Tahiti, France, October 23-28, 2005
A 3-D Localization Algorithm for Robot Swarms under the Presence of Failures
Component-Based Self-Healing via Cellular Adaptation
Web QoE Evaluation in Multi-agent Networks: Validation of ITU-T G.1030
Fine-grained and History-based Access Control with Trust Management for Autonomic Grid Services
A Modeling Method for ISP Topologies Based on Network-Cost Optimization
A New Road Network Model and Its Application in a Traffic Information System
Greedy by Chance - Stochastic Greedy Algorithms
Open IMS Core with VoIP Quality Adaptation
Large Scale Deployment
Off-Line Robot Programming Framework
Context-Aware Profiles
COSIME: Real-life Cellular Network on the Desktop
The 4C Reference Model for Distributed User Interfaces
Quality of Service Vertical and Horizontal Integration in Active Nodes
Resource-Definition Policies for Autonomic Computing
Designing Scalable Routers with a New Switching Architecture
A Decentralized Evolutional Approach to Handle Schedule Execution in Software Projects
Application of General Perception-Based QoS Model to Find Providers' Responsibilities. Case Study: User Perceived Web Service Performance.
Autonomous Unmanned Helicopter Landing System Design for Safe Touchdown on 6DOF Moving Platform
Model Driven capabilities of the DA-GRS model
Distributed Software Maintenance Using an Autonomic System Management Approach based on the Viable System Model
Increasing the Autonomy of Mobile Robots by On-line Learning Simultaneously at Different Levels of Abstraction
Performance Evaluation and Improvement of Algorithmic Approaches for Packet Classification
Proactive Route Maintenance and Overhead Reduction for Application Layer Multicast
COOP - A cooperative caching service in MANETs
Autonomic System Administration. A Testbed on Autonomics
Dynamic Energy Efficient TDMA-based MAC Protocol forWireless Sensor Networks
Optimal Size of a Feedforward Neural Network: How Much does it Matter?
Image Programming for Scientific Visualization by Cluster Computing
Effect of channel estimation and prediction errors on Adaptive M-PSK systems
Using real-time dependability in adaptive service selection
Network I/O Extensibility without Administrator Privilege
Agent Based Transaction Support in Commercial Grid
A Model of Link Capacities in ISP's Router-Level Topology
Approaches to P2P Internet Application Development
Using Feature Models for Developing Self-Configuring Smart Homes
Towards Green Grids: A Biologically-Inspired Adaptive Architecture for Power Efficient Server Farms
Localisation and Mapping Using a Laser Range Finder: A Goal-Seeking Approach
Mapping Policies to a Causal Network for Diagnosis
A Rule-Based Web Service Composition Approach
Policy-Based Enforcement of Database Security Configuration through Autonomic Capabilities
ToA 3 : Beyond the Limit of Unstructured P2P Networks
Ontology-Based Engineering of Autonomous Systems
Dynamic Adaptive Navigation via MAIS Reflective Framework
Understanding Stories about Personal Documents
Motion Estimation of a Mobile Robot Using Different Types of 3D Sensors
Network Anomaly Detection Using Time Series Analysis
Timing Performance Control in Web Server Systems Utilizing Server Internal State Information
Authentication platform for seamless handover in heterogeneous environments
Deterministic QoS guarantees for multicast multimedia applications
Fifth International Conference on Autonomic and Autonomous Systems, ICAS 2009, Valencia, Spain, 20-25 April 2009
Knowledge Management in Autonomic Database Performance Tuning
Utility-based On-demand Heuristic Strategy to Grid Computing
A Distributed and Autonomic Virtual Network Mapping Framework
On the Challenge of Allocating Service Based Applications in a Grid Environment
Resource-Aware Contracts for Addressing Feature Interaction in Dynamic Adaptive Systems
Mapping Policies into Autonomic Management Actions
End-User Specification of Quality of Service Applying the Model-Driven Approach
An OS for Mobile Ad hoc Networks Using Ant Based Hueristic to Distribute Mobile Services
Controlling the Event Streams to Become More Autonomous
Study of the Impact of UMTS Best Effort Parameters on QoE of VoIP Services
Adaptive provisioning using virtual machines and autonomous role-based management
Adaptive Estimation and Control of a Z-axis MEMS Gyroscope with Time-varying Rotation Rates
2006 International Conference on Autonomic and Autonomous Systems (ICAS 2006), 16-21 July 2006, Silicon Valley, California, USA
Improving the Performance of Asynchronous Communication in Long-Distance Delay-Sensitive Networks through the Development of Context-Aware Architectures
A Model driven software platform for Network Management Applications
Decision Making in Autonomic Managers Using Fuzzy Inference System
Automatic Classification and Graphical Representation of Interactive User Activity via .NET Windows Service Agent Technology
A TCP-Friendly Stateless AQM Scheme for Fair Bandwidth Allocation
A Survey of Context Adaptation in Autonomic Computing
Definition of Protocols for Secure Anonymous Purchase
AutonomousDB: A Tool for Autonomic Propagation of Schema Updates in Heterogeneous Multi-database Environments
A New Trust Model for PKI Interoperability
Fourth International Conference on Autonomic and Autonomous Systems, ICAS 2008, 16-21 March 2008, Gosier, Guadeloupe
Pricing and Charging for QoS
Using Divisible Load Theory to Dimension Optical Transport Networks for Grid Excess Load Handling
Modeling User Interfaces to Workflow Information Systems
Belief Propagation over MIMO Frequency Selective Fading Channels
Virtual Topology Reconfiguration for Node Failures in Wavelength Routed Optical Networks
Reactive Common Sense Reasoning for Knowledge-Based HMI
A Case Study on the Extensibility of Network Processor Based Systems
Computational Federation Service: Dynamic Resource Virtualization for Extensible Grid Service Design
Optimization of the Quine-McCluskey Method for the Minimization of the Boolean Expressions
Towards Context-Based Flow Classification
Design of an Autonomic QoE Reasoner for Improving Access Network Performance
Virtual Community for the Dynamic Management of NGN Mobility
A Generic Communication Middleware Architecture for Distributed Application and Service Messaging
Service Level Negotiation in Autonomous Systems Management
Autonomous Runway Alignment of Fixed-Wing Unmanned Aerial Vehicles in Landing Phase
HOTS: An OWAMP-Compliant Hardware Packet Timestamp Recorder
Configuration Management Policy based on DEB Cost Model in OBS Networks
Autonomic Software License Management System: An Implementation of Licensing Patterns
Tools for Architecture Based Autonomic Systems
Policy-Driven Adaptation of Protocol Stacks
Modelling Event Communication to Enable Adaptive Behaviour in Resource- Constrained Distributed Virtual Environments
Model-Driven Architecture Approach for Data Warehouse
Self-Managing Application Composition for Cross-Platform Operating Environments
A Policy Management Framework for Self-Protection of Pervasive Systems
Adaptive Action Selection in Autonomic Software Using Reinforcement Learning
Agent Based Web Browser
Cross-layer Architecture of a Distributed OS for Ad Hoc Networks
Spontaneous Hotspots: Sharing Context-Dependant Resources Using Bluetooth
Providing for change through Adaptive Object Models and Autonomous Computing techniques
Multistage Quasi-Orthogonal Minimum Output Energy Multiuser Detector Analysis for Convolutionally Coded CDMA Systems in Frequency-Selective Fading
Combined Mobility between H.323 Multimedia Systems and GPRS/IMT2000 Networks: Architecture & QoS Aspects
Expertise Recommendation: A Two-Way Knowledge Communication Channel
A Light-Weight Autonomous Power Saving Method for Wireless Sensor Networks
Efficient Allocation for VoIP Packet Losses Detection Services in Programmable and Active Networks
Supporting Consistency Management in Dynamic Content Distribution Overlays
A Context-Aware System for Mobile Data Sharing in Hybrid P2P Environment
A 0-1 Hardware/Software Partitioning Algorithm over IP cores
Model-Driven Engineering of Multi-target Plastic User Interfaces
SimuContext: Simply Simulate Context
QoS Provision for IPv6 Traffic Using Dynamic Packet State
Heterogeneous QoS Resource Manager with Prediction
su-chef: Adaptive coordination of intelligent home environments
An Interval Set Classification Based on Support Vector Machines
Location-aware Call Transfer Using JAIN SCF
Predicting Resource Demand in Dynamic Utility Computing Environments
An Integrated Software Concept for Autonomous Driving in the Context of Intermodal Freight Traffic
Survey of Frameworks, Architectures and Techniques in Autonomic Computing
An Algorithm for Generating Safe and Execution-Optimized Paths
Measuring Performance of Virtual Keyboards Based on Cyclic Scanning
Multiple Mobile Robots Path-Planning with MCA
Autonomic RSS: Discarding Irrelevant News
SAN-MDS: A High Performance Disk Based on Memory Device for SAN
A Transformational Approach for Pattern-Based Design of User Interfaces
Autonomic Patterns: Modelling Data Killing Patterns Using High-Level Petri Nets
Symptom Database Builder for Autonomic Computing
A Repository Service for Grid Workflow Components
Load Regulation in Mobile Network with Planned Pricing Model based on User Behaviour
Biologically-Inspired Design of Autonomous and Adaptive Grid Services
Workflow management systems - an analysis of current open source products
Application of process mining for improving adaptivity in case management systems
Technology acceptance in the case of iot appliances
Converting users into customers: the role of user profile information and customer journey analysis
A model for forecasting short-term electricity prices for electric utilities
Feasibility of Bluetooth ibeacons for indoor localization
Herausforderungen der Projektfertigung - eine Fallstudie zur Informationsbedarfsanalyse
On practical implications of trading ACID for CAP in the big data transformation of enterprise applications
Disruptive Innovationsmethoden im automotiven Produktentstehungsprozess
Reference lost - first explorations on use of management accounting and control systems in business model transformation
Data Architecture for Digital Health Insurances
Electronic Word-of-Mouth: A Systematic Literature Analysis
Supporting the digital transformation of small enterprises through cloud computing
Towards a collaborative working environment to support model-based systems engineering
Smart Meter based Business Models for the Electricity Sector - A Systematical Literature Research
Building Brand Love: A Dynamic Capabilities Approach
Open Integration of Digital Architecture Models for Micro-granular Systems and Services
Multi-level reference architecture development for digital public infrastructures based on the cloud
Energiegenossenschaften - Geschäftsmodelle und Wertschöpfungsnetzwerke
A Product-Service System Proposal for Agile Modelling Method Engineering on Demand: ADOxx.org
Agile business processes: blueprint for the digital enterprise
I*Gov a feeling - ein studienportal für das interaktive heute
Reality Mining in Sensor-based Mobile-driven Environments
Digital Enterprise Computing (DEC 2016), Böblingen, Germany, June 14-15, 2016
Comparison of Business Model Development Frameworks with regard to IoT
Experiencing adaptive case management capabilities with cognoscenti
Automatisiertes Data Discovery innerhalb eines Provisionierungstools
Rollenkonzepte im Enterprise Architecture Management
Improving the understanding of business processes
Measuring preparedness of web communication for a positive digital experience of international prospects right at the beginning of the customer journey: Survey results
Using feature construction for dimensionality reduction in big data scenarios to allow real time classification of sequence data
Near data processing within column-oriented dbmss for high performance analysis
The potential of Artificial Intelligence in academic research at a Digital University
Goal-oriented Decision Support in Collaborative Enterprise Architecture
IT operation management - A systematic literature review of ICIS, EDOC and BISE
Evolving enterprise architectures for digital transformations
Limitations and potentials of modern BPM systems for high-performance shadow processing in business processes of digital companies
Exploring the adoption of smartwatches
Digitization of Decentralized Corporate Energy Systems: Supportive best-practiced methods for the energy domain
Providing EA decision support for stakeholders by automated analyses
Modeling the business model and business stratregy - conception and implementation of omg's business motivation model in a software prototype
Challenges with Problem Exploration and Validation in the B2B Domain
Enterprise architecture management for the Internet of things
The imperative to develop digitalization patterns for enterprises
Konzeption und prototypische Umsetzung eines Architekturcockpits
Log-Data analysis through Tick-Discretisation
Digital Enterprise Computing (DEC 2017), Böblingen, Germany, July 11-12, 2017
A big data change detection system
Special Holiday Mobile Advertising
Bottom-up EA Management Governance using Recommender Systems
Identitäts- und Zugangsmanagement für Kundenportale - Eine Bestandsaufnahme
External factors determining information system adoption: A literature review on the technology acceptance model
Exploring User Adoption of Augmented Reality Applications based on Pokémon Go
Sales 2.0 in business-to-business (B2B) networks: conceptualization and impact of social media in B2B sales relationship
User Engagement in Corporate Facebook Communities
Digital Enterprise Computing (DEC 2015), Böblingen, Germany, June 25-26, 2015
Appflation - A phenomenon to be considered for future digital services
A systematic literature review of big data literature for EA evolution
Implementation Strategies for Enterprise Social Networks
Smart working in the new digitalization of the working world - at the example of social media business
Customer services in the digital transformation: social media versus hotline channel performance
Digital Transformation in Higher Education - The Role of Enterprise Architectures and Portals
A survey on smartphone features relevant for reality mining
Applying the Minimal Cost of Change Approach to inductive Reference Enterprise Architecture Development
Digital value selling: Status quo and opportunities
Frama-C, A Collaborative Framework for C Code Verification: Tutorial Synopsis
A Wingman for Virtual Appliances
Runtime Verification with Particle Filtering
Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Runtime Consultants
COST Action IC1402 Runtime Verification Beyond Monitoring
Actor-Based Runtime Verification with MESA
Online Monitoring of Metric Temporal Logic
Recovery Tasks: An Automated Approach to Failure Recovery
Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper)
Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004
Monitoring Spatio-Temporal Properties (Invited Tutorial)
Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming
Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy
TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications
Improving Dynamic Inference with Variable Dependence Graph
EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM
Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation
Runtime Monitoring of Temporal Logic Properties in a Platform Game
ARTiMon Monitoring Tool, The Time Domains
Writing Domain-Specific Languages for BeepBeep
Hardware Supported Flexible Monitoring: Early Results
Accelerated Runtime Verification of LTL Specifications with Counting Semantics
On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems
Test4Enforcers: Test Case Generation for Software Enforcers
Runtime Verification using LARVA
SVAuth - A Single-Sign-On Integration Solution with Runtime Verification
Scalable Online First-Order Monitoring
Statistical Runtime Verification for LLMs via Robustness Estimation
Monitoring Hypernode Logic Over Infinite Domains
Overhead-Aware Deployment of Runtime Monitors
Active Monitoring with RTLola: A Specification-Guided Scheduling Approach
Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations
Combining Symbolic Runtime Enforcers for Cyber-Physical Systems
Profiling Field Initialisation in Java
Symbolic Execution
Runtime Adaptation for Actor Systems
Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression
Monitoring Cyber-Physical Systems: From Design to Integration
The MonPoly Monitoring Tool
Right-Universality of Visibly Pushdown Automata
Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications
Escaping with Future Variables in HALO
DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking
Assumption-Based Runtime Verification of Infinite-State Systems
Statistical Model Checking of Distributed Adaptive Real-Time Software
Verification of an AFDX Infrastructure Using Simulations and Probabilities
Monitoring and Measuring Hybrid Behaviors A Tutorial
Code Contracts for .NET: Runtime Verification and So Much More
CoCAI: Copula-Based Conformal Anomaly Identification for Multivariate Time-Series
An Environment for the ParTraP Trace Property Language (Tool Demonstration)
AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification
Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs
First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402
Runtime Verification - 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Algorithmic Fairness: A Runtime Perspective
Monitoring Hyperproperties
On-Line Monitoring for Temporal Logic Robustness
Runtime Verification of Data-Centric Properties in Service Based Systems
Efficient Runtime Assertion Checking for Properties over Mathematical Numbers
Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings
Monitoring Systems with Extended Live Sequence Charts
Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings
BISM: Bytecode-Level Instrumentation for Software Monitoring
Decentralized Stream Runtime Verification
Low-Overhead Bug Fingerprinting for Fast Debugging
Abstraction and Mining of Traces to Explain Concurrency Bugs
Executing Specifications Using Synthesis and Constraint Solving
Execution Trace Exploration and Analysis Using Ontologies
Speculative Program Parallelization with Scalable and Decentralized Runtime Verification
From Parametric Trace Slicing to Rule Systems
A Hybrid Approach to Causality Analysis
Verifying the Output of a Distributed Algorithm Using Certification
Copilot: A Hard Real-Time Runtime Monitor
A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection
DSLs for Runtime Verification
An Overview of MarQ
Assumption Generation for Learning-Enabled Autonomous Systems
Bringing Runtime Verification Home
Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods)
Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems
Internal versus External DSLs for Trace Analysis - (Extended Abstract)
Predicate Monitoring in Distributed Cyber-Physical Systems
SPY: Local Verification of Global Protocols
Algorithms for Monitoring Hyperproperties
Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs
A Witnessing Compiler: A Proof of Concept
Finite-Trace Linear Temporal Logic: Coinductive Completeness
Decision-Theoretic Monitoring of Cyber-Physical Systems
Instrumentation of Open-Source Software for Intrusion Detection
Runtime Verification at Work: A Tutorial
An Extension of LTL with Rules and Its Application to Runtime Verification
First International Competition on Software for Runtime Verification
TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties
Dynamic Analysis and Debugging of Binary Code for Security Applications
PatrIoT: Policy Assisted Resilient Programmable IoT System
Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs
State Joining and Splitting for the Symbolic Execution of Binaries
Dynamic Race Detection with LLVM Compiler - Compile-Time Instrumentation for ThreadSanitizer
Static and Dynamic Detection of Behavioral Conflicts Between Aspects
A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System
Causality Analysis in Contract Violation
Timescales: A Benchmark Generator for MTL Monitoring Tools
A Retrospective Look at the Monitoring and Checking (MaC) Framework
Contracts for Scala
Portable Runtime Verification with Smartphones and Optical Codes
Extended Timed Regular Expressions
Monitoring Algorithmic Fairness Under Partial Observations
Runtime Enforcement of Timed Properties
Conformal Predictive Monitoring for Multi-modal Scenarios
Sliding between Model Checking and Runtime Verification
PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors
Dynamic, Multi-objective Specification and Falsification of Autonomous CPS
On Verifying Hennessy-Milner Logic with Recursion at Runtime
Runtime Verification of Stochastic, Faulty Systems
A Formally Verified Monitor for Metric First-Order Temporal Logic
Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo
Runtime Checking for Program Verification
Runtime Verification - 17 Years Later
HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis
SMEDL: Combining Synchronous and Asynchronous Monitoring
Formal Verification of Neural Certificates Done Dynamically
Checking the Correspondence between UML Models and Implementation
Practical Information Flow Control for Web Applications
Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing
Alignment Monitoring
Into the Unknown: Active Monitoring of Neural Networks
Control Dependencies in Interpretive Systems
Runtime Verification with the RV System
Adding State to Stream Runtime Verification
NuRV: A nuXmv Extension for Runtime Verification
The Good, the Bad, and the Ugly, But How Ugly Is Ugly?
Elarva: A Monitoring Tool for Erlang
Runtime Verification Prediction for Traces with Data
Runtime Verification for LTL in Stochastic Systems
Box-Based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study
Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks
Runtime Verification for FMI-Based Co-simulation
A Foundation for Runtime Monitoring
Informative Types and Effects for Hybrid Migration Control
Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals
Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs
Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Probabilistic Black-Box Reachability Checking
Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter
Monitoring Real Android Malware
Neural Predictive Monitoring Under Partial Observability
Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks
Leveraging DTrace for Runtime Verification
ISL: Monitoring Image Segmentation Logic in Medical Imaging Analysis
Monitoring with Verified Guarantees
Sparse Coding for Specification Mining and Error Localization
Dynamic Verification for Hybrid Concurrent Programming Models