yusuke1997/dblp-id-title huggingface dataset:
Modelling Services in the Portfolio from a Service Provisioning Perspective
An SDL Based Realisation of an IN Service Development Environment
User Interfaces and their Implications for Future Services - Introduction
The Implementation of PSCS Features in a RACE ATM Demonstrator
Proposal for an IN Switching State Model in an Integrated IN/B-ISDN Scenario
Personal Communication - What is Beyond Radio?
Adopting Object Oriented Analysis for Telecommunications Systems Development
Service Engineering versus Software Engineering - A Foundational Study
A Practical Perspective on TMN Evolution
Personalized Hypermedia Information Provision Through Adaptive and Adaptable System Features: User Modelling, Privacy and Security Issues
Agent-Based Support of Advanced Personal Mobility Features
Service Specification Concepts in TINA-C
Enhancing the TINA Architectural Framework for Personal Mobility Support
Efficiency Evaluation of a Mobile Agent Based Network Management System
Measurement Based Connection Admission Control Algorithm for ATM Networks that Use Low Level Compression
OMT Object Models of Telecommunications Services
Audio/Video Stream Binding in a Pan-European Service Management Platform
Service Management
An Evolutionary Approach for TMN Management of IN Services
An Agent Based Service Inter-working Architecture for the Virtual Home Environment
Security in the Information Society
An Experimental Open Architecture to Support Multimedia Services Based on CORBA, Java and WWW Technologies
Domain Interoperability for Federated Connectivity Management
A Component Theory for Telecommunication Architectures
Integration Path of IN and TMN Architectures - Using UPT as a Case Study
Distributed Intelligence in Services and Networks
Optimal Distribution of Service Components
Issues in the Integration of IN and TMN
SNMP and TMN: Aspects of Migration and Integration
A Security Architecture for TMN Inter-Domain Management
A Mobile Agent Brokering Environment for the Future Open
Mobile Agent Security - Issues and Directions
Cooling the Hell of Distributed Applications' Deployment
Intelligent Networks Planning Supported by Software Tools
A Generic Service Order Handling Interface for the Cooperative Service Providers in the Deregulating and Competitive Telecommunications Environment
TINA based Advanced UPT Service Prototype: Early Introduction of TINA through the IN Domain
DAVIC and The Internet Convergence: A Convergence Architecture Using WWW, Java, and CORBA
Agent-Based Service and Retailer Selection in a Personal Mobility Context
Towards a Pan-European Telecommunication Service Infrastructure - IS&N'94, Second International Conference on Intelligence in Broadband Services and Networks, Aachen, Germany, September 7-9, 1994, Proceedings
Architectures for the Provision of Position Location Services in Cellular Networking Environments
A Fair Intelligent Network Congestion Control Strategy Based on Revenue Optimisation
Standards for Integrated Services and Networks
Providing Future Telecommunication Services to Native Users
ROS-to-CORBA Mappings: First Step towards Intelligent Networking using CORBA
The Pros and Cons of Using SDL for Creation of Distributed Services
An Approach to User Management of Broadband Services
Service Creation
Future Hypermedia Retrieval Systems and their Impact on Transfer Systems
Technologies for Service Engineering - Introduction
A New Architecture for Open and Distributed Network Management
VPN on DCE: From Reference Configuration to Implementation
Advanced Videocommunications with Stereoscopy and Individual Perspectives
Hypermedia Applications for Distance Education and Training
Implementing TMN-like Management Services in a TINA Compliant Architecture: A Case Study on Resource Configuration Management
A Comparison of the PRISM and OMNI-Point Methodologies for the Specification of Management Systems
Goal-Based Filtering of Service Interactions
Intelligence in Brokerage and Retrieval
Development and Deployment of a Heterogeneous Set of Services Challenging a TINA-Based Telecommunication Architecture
A CORBA to CMIP Gateway: A Marriage of Management Technologies
Service Logic Deployment and Distribution Configuration
Personal Communication System Realizations: Performance and Quality of Service Aspects on SS-No.7
Towards Global Multimedia Mobility
Introduction of DOT/MAT into a Broadband IN Architecture for Flexible Service Provision
Gateways to CORBA
Security Services for Telecommunications Users
A Self-Organisation Plane for Distributed Mobile Wireless Networks
Security in Use and Management of VPN - a Banking Scenario
Future Communication Networks - What (Public) Service Providers Should Provide
Management of Mobile Agent Based Services
Telecommunications and IT Convergence Towards Service E-volution, 7th International Conference on Intelligence and Services in Networks, IS&N 2000, Athens, Greece, February 23-25, 2000, Proceedings
QoS-based Routing Solutions for Hybrid SDH-ATM Networks
Intelligence in Services and Networks - Paving the Way for an Open Service Market, 6th International Conference on Intelligence and Services in Networks, IS&N'99, Barcelona, Spain, April 27-29, 1999, Proceedings
Towards the Seamless Integration of Mobile Agents into Service Creation Practice
Providing Services in a World of IBC Resources: An Architectural Approach
A TINA Based Prototype for a Multimedia Multiparty Mobility Service
Adaptable and Adaptive User Interfaces for Disabled Users in the AVANTI Project
A Service-Driven Vision of Integrated Broadband Communications: the OSA Approach
Services and Services Management - Introduction
Enhanced IN for Personal Communications
Usability an Effective Methodology for Designing Services in the Agricultural Sector
The Relationship Between IOs and COs in VPN Charging Management
Performance Management in Switched ATM Networks
Inter-Domain Integration of Services and Service Management
Introducing SDL'92 in the Development of TMN Applications
Security Requirements of the TMN X-Interface within End-to-End Service Management of Virtual Private Networks
Use of WWW Technology for Client/Server Applications in MULTIMEDIATOR
Multi-level Component Oriented Methodology for Service Creation
From IN toward TINA - Potential Migration Steps
Metaphors and Layers of Signification: The Consequences for Advanced User Service Interfaces
The Use of TINA Principles in the Management of Internet Multimedia Conferences
Open Architecture for Distributed Search Systems
IN Service Security and Service Management Security and their Relationships - Using UPT as a Case Study
ATM Public Network Management in PREPARE
JAE - A Multi-Agent System with Internet Services Access
Developing Communications Efficiency Through Management and Control
Agent-Based Management
Extending OMG Event Service for Integrating Distributed Multimedia Components
TMN Implementation Issues - Introduction
TINA Computational Modelling Concepts and Object Definition Language
Session Control Model for TINA Multimedia Services
PANI: Personal Agent for Network Intelligence
Motivation and Requirements for the AgentSpace: A Framework for Developing Agent Programming Systems
Usability Challenges in Agent Based Services
Agent Support for Resource, Network, and Enterprise Management
Achieving a Pan-European Service Infrastructure
A Personal Naming and Directory Service for UMTS Users
Web Enabled TMN Manager for an International Trouble Ticketing Service
Public Key Infrastructure and Certification Policy for Inter - domain Management
Modelling Management Components for Reuse Using UML
Requirements of Inter-Domain Management and their Implications for TMN Architecture and Implementation
Interworking
A Mobile Intelligent Agent Based Virtual Enterprise Support Environment
Java Enabled MPEG-4 Services: The MPEG-J Framework
Integrating TINA into an Internet-Based Services Market
Requirements for Rapid Technological Deployment and Exploitation
Dynamic Market Driven Provisioning of Services and Resources Using Software Agents and Electronic Chambers of Commerce
Mobility - Introduction
Automated Design of Modular SNMP-CORBA Gateways and Their Application for the Development of an ADSL Access Network Manager
The Use of TMN as an Architectural Framework for Value Added Services Management
ASTERIX: The TINA-C Architecture Applied to ATM Connection Management
Formal Description of OSI Management Information Structure as a Prerequisite for Formal Specifications of TMN Interfaces
Component Reuse
Harmonisation/Integration of B-ISDN and IN (EURESCOM project P506)
End User Acceptance of Security Technology for Electronic Commerce
Network Resource Adaptation in the DOLMEN Service Machine
Integration of Mobility Functions into an Open Service Architecture: The DOLMEN Approach
Challenges for Service Engineering - Introduction
Mobility in TINA
QoS Modelling of Distributed Teleoperating Services
Scenarios - Introduction
Self-Organization and Learning in MultiAgent Based Brokerage Services
Building Dedicated Service Creation Environments for Reuse Based Production
Service Architecture - Introduction
Conformance Testing of TINA Service Components - The TTCN/ CORBA Gateway
A Decision Support System for Assurance of Quality of Service in Intelligent Network Service Provisioning
Internet Browsing on OSAM Platform
Industrial Requirements on a Service Creation Environment
Integrated Trouble Management to Support Service Quality Assurance in a Multi-provider Context
An Engineering Approach for Open Multimedia Services Management
Approaches to Integrating Telecoms Management System
The ReTINA DPE Kernel: A Flexible, Real-Time ORB Framework
TINA - TMN Interworking: Case Study of an Integration between the VITAL TINA Platform and an Existing TMN Platform
Accounting Management in a TINA-Based Service and Network Environment
Multi-agent System for Network Resource Management
High-Level Access APIs in the OSIMIS TMN Platform: Harnessing and Hiding
Protocol Independent Information Modelling for a Peer-to-Peer Configuration Interface
User Requirements for Advanced Communication Services
Defining and Structuring Service Requirements on the IN in order to Evaluate IN Architecture Initiatives
Bart Bauwens, Frans Westerhuis, Rudi Broos: XML and CORBA, Synergistic or Competitive?
Virtual Home Environment
Architectures and Methods - Introduction
Towards Integrated Network Management for ATM and SDH Networks Supporting a Global Broadband Connectivity Management Service
Architecture of Multimedia Service Interworking for Heterogeneous Multi-Carrier ATM Network
Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services, 5th International Conference on Intelligence and Services in Networks, IS&N'98, Antwerp, Belgium, May 25-28, 1998, Proceedings
The Context of IS&N - Introduction
Beyond IN - Introduction
Static vs. Dynamic CMIP/SNMP Network Management Using CORBA
Federation in TINA
An Environment for IN Service Prototyping and Validation
Locating TINA User Agents: Strategies for a Broker Federation and Their Comparison
VRML: Adding 3D to Network Management
GSM Evolution to an IN Platform: Offering GSM Mobility as an IN Service
Introducing Active Managed Objects for Effective and Autonomous Distributed Management
Tool Based Interface Construction Facilitating Access to Users with Disabilities
Simulation Model for Intelligent Network Based Personal Communication Services
Definition of Service Levels for Electronic Brokerage Applications
The Application of Intelligent and Mobile Agents to Networks and Service Management
Performance Evaluation of Database Concepts for Personal Communication Systems
Web-Based Agent Applications: User Interfaces and Mobile Agents
The Role of Paging in Providing Location Transparency within Cellular Systems
Formalisation of Properties for Feature Interaction Detection: Experience in a Real-Life Situation
Intelligent Remote Monitoring
Key Management Framework for IP Multicast Infrastructure Security
Alignment of the TOSCA and SCREEN Approaches to Service Creation
ATM Services Usage Metering for Accounting and Charging
A Comparison of Architectures for Future Telecommunication Services
Multimedia Services & Security
CORBA Interworking over SS.7
Specifying Pan-European Management Systems
CORBA and Intelligent Network (IN) Interworking
Towards Mobile Agent Based Provision of Voice over IP Services
Accountable and Guaranteed Services in Internet
Infrastructure Demands of Advanced Services - Introduction
Design of the CORBA/TC Inter-working Gateway
Management Services for Performance Verification in Broadband Multi-Service Networks
Roaming Aspects of Ubiquitous Mobile Service Support
Methods and Tools - Introduction
Formal Methods and Service Specification
Intelligence in Services and Networks: Technology for Cooperative Competition, Fourth International Conference on Intelligence and Services in Networks, IS&N'97, Cernobbio, Italy, May 27-29, 1997, Proceedings
Intelligent Networks - Introduction
Management of Optical Networks: SNMP Agents Enabling TMN
Computational Modelling - UPT Split Charging Management Case
Communications Management - Introduction
See What You Sign: Secure Implementations of Digital Signatures
Maintaining Integrity in the Context of Intelligent Networks and Services
Application of IS&N for Efficient Aircraft Pre-Design
Graphical User Interface Syle Guide for Mobile Communication Services
Next Generation Database Technologies for Advanced Communication Services
Dedicated Server Multicast Routing for Large Scale ATM Networks
Towards Future Telecommunications Management Architectures
User Perspectives on Service Engineering - Introduction
Application of Distributed Techniques to the Modelling of IN Architectures and Support of Service Execution
Service Provisioning in a Multi-Provider Environment
Deploying a Hierarchical Management Framework Using Mobile Agent Technology
STDL as a High-Level Interoperability Concept for Distributed Transaction Processing Systems
Legal and Administrative Services Through Electronic Commerce
A TTP-based Architecture for TMN Security and Privacy
Specification and Design of TMN Systems - Introduction
Experiences in Multi-domain Management Service Development
Modularization of TINA Reference Points for Information Networking
Personal Communication - Network Aspects and Implementations
An Approach to Network Control and Resource Management Based on Intelligent Agents
Consistency Issues in the UMTS Distributed Database
Integration of Adaptations for People with Special Needs
TMN Specifications to Support Inter-Domain Exchange of Accounting, Billing and Charging Information
On the Usage of Standard Mobile Agent Platforms in Telecommunication Environments
Issues in Agent Technology
Development of TINA-Like Systems: The DOLEMEN Methodology
Internet - New Inspiration for Telecommunications Management Network
Intelligent Network Evolution for Supporting Mobility
Managed Objects as Active Objects: A Multithred Approach
QoS Based Multi-domain Routing in Public Broadband Networks
Integrating Position Reporting, Routing and Mobility Management in Multishop Packet Radio Networks
Experiences Using Intelligent Agent Technologies as a Unifying Approach to Network Management, Service Management and Service Delivery
Customizing Telecommunication Services: Patterns, Issues, and Models
ATM Network Simulation Support for TMN Systems
Load Balancing for a Distributed CORBA-Based SCP
Service / Resource Discovery and Allocation
User Authentication in Mobile Telecommunication Environments Using Voice Biometrics and Smartcards
Use of Atomic Action Principles to Co-ordinate the Interaction Between TINA Service Managers
Simplifying Real-Time Multimedia Application Development Using Session Descriptions
Supporting Advanced Multimedia Telecommunications Services Using the Distributed Component Object Model
TINA-oriented Service Engineering Support to Service Composition and Federation
Application of TINA-C Architecture to Management Services
Surveillance and Protection in IBC Management: The Applicability of Two RACE Security Projects - SecureNet II and SESAME
OSAM Component Model - A Key Concept for the Efficient Design of Future Telecommunication Systems
Business and Market Models of Brokerage in Network-Based Commerce
Technologies for Management Systems - Introduction
Development of Telecommunications Management System Using 00 Methods and CASE Tool Support
On the Impacts of Intelligent Agent Concepts on Future Telecommunication Environments
Architectures for Multimedia Communications
IN Load Control Using a Competitive Market-Based Multi-agent System
Providing Customisable Network Management Services Through Mobile Agents
Intelligent Distributed Management - Introduction
Developing Alternative Metaphors for Special B-ISDN Services
Building Topic-Specific Collections with Intelligent Agents
SAMSON, Security Management in a Health Care Scenario
Intelligent ATM Networks: Services and Realisation Alternatives
Counting the Costs and Benefits of Metaphor
TMN Systems Implementation Issues - Introduction
Offering Role Mobility in a TINA Environment
Integrated and Scalable Solutions for Telecommunications Management
A Service Creation Environment for a Future Intelligent Network
A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules
Survey on Formal Methods and Tools in Railways: The ASTRail Approach
Bayesian Network Modeling Applied on Railway Level Crossing Safety
A Zero Latency Handover Scheme For Autonomous Tram Signaling in a 5G Scenario
Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation
A Domain-Specific Language for Generic Interlocking Models and Their Properties
B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution
Acceleration Techniques for Symbolic Simulation of Railway Timetables
Verification of Railway Interlocking - Compositional Approach with OCRA
A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers
Safety Invariant Verification that Meets Engineers' Expectations
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings
Formal Model Validation Through Acceptance Tests
Wireless Communications Challenges for Safety Applications in Railways
Bridging Formal Verification and Domain Validation in Railway Systems
Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems
A Vision of Intelligent Train Control
Deductive Verification of Railway Operations
A Tool-Chain for the Verification of Geographic Scheme Data
Interlocking Formal Verification at Alstom Signalling
Moving Block in ERJU
Assigning Safe Executed Systems to Meanings
Formal Design and Validation of an Automatic Train Operation Control System
The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey
Configurable Interlocking Verification
Safety Verification of Heterogeneous Railway Networks
Halfway Generic Verification of Railway Control Systems
Automated Compositional Verification of Interlocking Systems
Formal Modelling Techniques for Efficient Development of Railway Control Products
Safety Analysis of Automatic Train Operation Based on ETCS
Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems
LTE System Design for Urban Light Rail Transport
Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking
Generating and Verifying Configuration Data with OVADO
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS
A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models
Threat Modeling in the Railway Domain
Condition-Based Monitoring in Passenger Trains: Insights from Maintenance Logs and Accident Data
Towards Scenario-Based Certification of Highly Automated Railway Systems
TrainSec: A Simulation Framework for Security Modeling and Evaluation in CBTC Networks
Safe and Time-Optimal Control for Railway Games
TASC: Transparent, Agnostic, Secure Channel for CBTC Under Failure or Cyberattack
Abstract Software Specifications and Automatic Proof of Refinement
Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining
Risk Assessment of the 3Des in ERTMS
Are Standards an Ambiguity-Free Reference for Product Validation?
Redundant and Reliable Architecture Based on Open Source Tools for Light-Rail-Transit On-Board-Systems
Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth
Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-engineering
Automated Semantic Validation of Railway Signaling Data on the Basis of Schematron
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming
The 4SECURail Formal Methods Demonstrator
Integration Approach for Communications-Based Train Control Applications in a High Assurance Security Architecture
Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks
A Formal Model of Train Control with AI-Based Obstacle Detection
A Formal Security Analysis of ERTMS Train to Trackside Protocols
Efficient Derivation of Optimal Signal Schedules for Multimodal Intersections
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings
S3: Proving the Safety of Critical Systems
Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation
Automated Planning of ETCS Tracks
Using N-Version Architectures for Railway Segmentation with Deep Neural Networks
Creating Synthetic Test Data for Rail Design Tools - The Case of Linear Scheme Plans
Compositional Model Checking of Railway Interlocking Systems Featuring Flank Protection
Cyber Security in Railways: Quo Vadis?
Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B
Use of Certified Industrial Tools for Formal Analysis and Monitoring of Communications-Based Train Control Systems
Automating an Analysis of Safety-Security Interactions for Railway Systems
Fusion 2 : Achieving SIL4 Onboard Positioning for Autonomous Trams
An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems
Safe Maintenance of Railways Using COTS Mobile Devices: The Remote Worker Dashboard
Efficient Data Validation for Geographical Interlocking Systems
Formal Analysis of a Railway Signaling Block Designed in AIDA
Merging Worlds - Aligning Safety and Security
Operational Security - A Coming Evolution of Railway Operational Procedures Under the IT Security Threat
Formal Verification of Train Control with Air Pressure Brakes
Static Verification of Railway Schema and Interlocking Design Data
Enhancing Autonomous Train Safety Through A Priori-Map Based Perception
Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System
CPN-Based Modelling to Assess Dependability of Train-to-Train Wireless Communication for Virtual Coupling
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System
SMT-Based Verification of Railway Plannings
Comparing Formal Verification Approaches of Interlocking Systems
Optimal Railway Routing Using Virtual Subsections
Formalization and Processing of Data Requirements for the Development of Next Generation Railway Traffic Management Systems