yusuke1997/dblp-id-title huggingface dataset:
Remote Robot Training of Its Artificial Neural Network through GSM Communication
A Mechanism for Federated Identification Services for Public Access Portals Using Access-Cards
A Novel Way of Determining the Optimal Location of a Fragment in a DDBS: BGBR
Reducing µTESLA memory requirements
Multi-user Frequency Pre-filtering Technique for MIMO SFBC MC-CDMA Systems
Hybrid Agents for Power-Aware Intrusion Detection in Highly Mobile Ad Hoc Networks
Multimedia Environment for Mobile Learning
MIMO Communication System Based on Wireless Baseband Tranmission Scheme Under Multipath Environment
Vision-Guided "Point and Click" for Smart Rooms
A Coercion-Resistant Internet Voting Protocol
ScatterPlug: A Plug-in Oriented Framework for Prototyping, Programming and Teaching Wireless Sensor Networks
Security Assurance Aggregation for IT Infrastructures
Automated Evaluation of Reusable Learning Objects via a Decision Support System
Grooming of Multicast Sessions in Sparse Splitting WDM Mesh Networks using Virtual Source Based Trees
Self-Similarity Analysis Applied to 2D Breast Cancer Imaging
An IMS-SOA Architecture for Multimodal Interaction using Distributed Keyword Dictionaries
Towards FineGrained Authorizations in Small Office and Home Networks
Management Model for Wireless Broadband Networks
Protecting the DNS Infrastructure of a Top Level Domain: Dynamic Firewalling with Network Sensors
Parameterized Hierarchical Layer Topology Construction for Wireless Networks
A Novel Blind SNR Estimator Based on the Modified PASTd Algorithm for IF Signals
Inter-Domain Resource Control Mechanism based on Domain Model in Pervasive Computing Environment
A New Position-Based Routing Protocol for Reducing the Number of Exchanged Route Request Messages in Mobile Ad-hoc Networks
ASASI: An Environment for Addressing Software Application Security Issues
A Novel Bargaining Based Dynamic Spectrum Management Scheme in Reconfigurable Systems
Codes From Generalized Hadamard Matrices
Supports for Identity Management in Ambient Environments - The Hydra Approach
Privacy-Invasive Software and Preventive Mechanisms
The Design and Implementation of Profile Management Module Including Policy-Based Repository in the Customer Network Management System for Corporate-Level Network Service Clients
Efficient Transformation Scheme for Indexing Continuous Queries on RFID Streaming Data
pService: Peer-to-Peer based Web Services Discovery and Matching
Remote Screen Recording and Playback
A Simplified Deterministic Approach for Accurate Modeling of the Indoor Power Line Channel
A Joint Coded Two-Step Interference Cancellation Technique for a Multiuser MIMO-SC-FDE System
Trust and Mobility-based Clustering Algorithm for Secure Mobile Ad Hoc Networks
Linear Operators on Hyperbola and Hyperboloid
Impacts of Transmission Range in Homogeneous Wireless Networks
Performance of Optical CDMA Systems with Low Density Parity Check Codes
Accelerating VOD Streaming with Adaptive Proxy- Assisted Scheduling, Caching and Patching
Neural Wireless Sensor Networks
Security Issues in Wireless Sensor Networks
MANET ID : Improvement on Group Communications and ZRP
Performance Analysis and Evaluation of Bluetooth Networks in Wireless Channel Environment
Automatic Control of Students' Attendance in Classrooms Using RFID
Efficient Estimation of Loss Rates in Optical Packet Switched Networks with Wavelength Conversion
A Locally Group Key Management with Revocation and Self-healing Capability for Sensor Networks
Performance Improvement of DSTBC Systems Using Decision Feedback Approach
Performance Comparison of TCP and CBR in MAODV Ad hoc Network
Some Problems & Methods for Remotely Controllable Automatic Home Security Systems
Performance Analysis of Route Optimization on Proxy Mobile IPv6
Performance Analysis of a Time-Threshold Based Bandwidth Allocation Scheme for Data Calls in Cellular Networks
Maintaining Coverage by Progressive Crystal-Lattice Permutation in Mobile Wireless Sensor Networks
Dealing with Stable Environmental Conditions in XACML Systems
WSNet - WineCellar An Evolutionary Wireless Sensor Network to Monitor Wine-Cellars
Routing Mechanism for Reliable Sensor Network Applications
Parallel Image-Based Hemodynamic Simulator
An ARP-based Anomaly Detection Algorithm Using Hidden Markov Model in Enterprise Networks
A New EAAODV Routing Protocol based on Mobile Agent
Wireless Broadband Internet Access in Korea
HIP Tags Privacy Architecture
Verification of Strict Integrity Policy via Petri Nets
A New Qos Control Scheme Using Dynamic Window Size Control for Wide Area Wireless Networks
A Scheme to reduce the handoff latency using mSCTP in Fast Mobile IPv6
A study on Offset Time Based Burst Generation Scheme for Optical Burst Switching Networks
An Enhanced Gnutella for Ad-Hoc Networks
An Adaptive Inter-Mobility Supports Scheme for NetLMM
Middleware - An Effort towards Making Mobile Applications Platform Independent
Adaptive DSR Protocol with Cooperative Agents for Different Mobility and Traffic Patterns
Seamless Fast Handover in Mobile IPv4 Using Layer-2 Triggers
Survivability Quantification of Real-Sized Networks Including End-to-End Delay Distributions
Software management based on mobile agents
Integration of WiMAX Access Management and Control in a Multi-domain System for Multimedia Distribution
A Multivariate Adaptive Method for Detecting ARP Anomaly in Local Area Networks
Performance Evaluation of Dual Authentication Scheme in Mobile IPv6 Networks
A High Availability Firewall Model Based on SCTP Protocol
Kleptographic Weaknesses in Benaloh-Tuinstra Protocol
A New Communication Architecture Based on the Spatial Information Field Model
Defending against Distributed Denial of Service (DDoS) Attacks with Queue Traffic Differentiation over Micro-MPLS-based Wireless Networks
Security Architecture for Web-based Health Insurance Systems
Incorporation of the Universal Communications Identifier (UCI) to NGN
LATEX DSL: A Coverage Control Protocol for heterogeneous Wireless Sensor Networks
Jazz Sebastian Bach: A GA System for Music Style Modification
Topological Hole Detection in Sensor Networks with Cooperative Neighbors
An Analysis of the Nanosatellites Launches between 2004 and 2007
Intrusion Detection: A Survey
Performance Modelling and Evaluation of Handover Mechanism in IP Multimedia Subsystems
WS-Re2Policy: A Policy Language for Distributed SLA Monitoring and Enforcement
Using the mobile phone as a security token for unified authentication
Advanced Querying Architecture for DICOM Systems
Confessible Threshold Ring Signatures
ZigBee Device Design and Implementation for Context-Aware U-Healthcare System
A Study for a New IT Service Information Protection Framework
System capacity in OFDMA-based WiMAX
Gateways and Capacity in Ad Hoc Networks
Building High-Performance and Reconfigurable Bandwidth Controllers with Adaptive Clustering
GPSenseCar - A Collision Avoidance Support System Using Real-Time GPS Data in a Mobile Vehicular Network
IP Local Node Protection
Tracing and Managing hazardous material in Sensor Networks
Experience Applying Policy-Based Techniques to Traffic Management in Low-Bandwidth Heterogeneous Networks
Movement Prediction Using Bayesian Learning for Neural Networks
A Real-Time Study of 802.11b and 802.11g
Cluster Label-based ZigBee Routing Protocol with High Scalability
Virtual Machines Applied to WSN's: The state-of-the-art and classification
Probabilistic-Based Energy Aware Routing for Network Lifetime and Source Level Fairness in Wireless Sensor Networks
Autonomically Improving the Security and Robustness of Structured P2P Overlays
Multiple Equivalent Scale Scan: An Enhancing Technique for Malware Detection
Analysis of User Experience of Access Selection in Multi-operator Environments
Synchronization at Low SINR in Asynchronous Direct-Sequence Spread-Spectrum Communications
Automated QoS policy adaptation for heterogeneous access network environments
On the Performance of Shortest Path Routing Algorithms for Modeling and Simulation of Static Source Routed Networks -- an Extension to the Dijkstra Algorithm
Modeling and Design of a Novel Backward-Wave Scanning-Beam Antenna Based on Negative Refractive Index Material Structures
Ticket-Based Authentication Mechanism for Proxy Mobile IPv6 Environment
Collaborative Platform for Universities, Foster Clubs and Scientists in Aerospace Research
Regulatory Models in Telecommunications Market in Bosnia and Herzegovina
Gradient Adaptive Lattice Algorithm for MMSE Receivers in DS-CDMA Systems
An Round Delay Algorithm in Sensor Networks
ICSNS Committees
Implementation of Traffic Engineering in NGNs Using Hybrid Genetic Algorithms
A Survey of Available Tools for Developing Wireless Sensor Networks
Experimental Performance Evaluation of Mobile IPv6 Handovers over Wireless LAN
Mac Address Assignment In Wireless Sensor Networks: A Mixed Strategy Game Approach
A Minimization Cost Heuristic Approach for Traffic Grooming in IP-over-WDM Networks
GEMOM - Significant and Measurable Progress beyond the State of the Art
A New Methodology for Designing Next Generation Networks Components Type Approval Labs
Beyond the Hype: Policies for Military Network Operations
Alternative Approximation of Check Node Algorithm for DVB-S2 LDPC Decoder
A New Position-Based Routing Algorithm for the Reduction of Overhead in Ad-hoc Networks
Wireless Sensor Network for Mobile Entities Localization People Monitor
A Two - Phase Distributed Reconfiguration Algorithm for Node Failures in IP-Over-WDM Networks
Towards Requirement and Modeling Driven Security Evaluation
Capturing User Contexts: Dynamic Profiling for Information Seeking Tasks
TCP Based Resource Allocation Method for Base Station Diversity System
Gradual Adaption Model for Estimation of User Information Access Behavior
Implementing Virtual Practices using an Alternative Methodology to Develop Educational Software
Analysis and optimization of MAC with constant size congestion window for WLAN
Proceedings of the Second International Conference on Systems and Networks Communications (ICSNC 2007), August 25-31, 2007, Cap Esterel, French Riviera, France
Elder Care Architecture
Space Imaging Infrastructure Development of PUBSAT and NERVA Orbital Vehicle
Energy Residue Aware (ERA) Clustering Algorithm for Leach-based Wireless Sensor Networks
Semantic Policies for Service Access in Mobile Supported Sensor Networks
Geminga: Service Discovery for Mobile Robotics
An Algorithm for Selecting the Cluster Leader in a Partially Connected Sensor Network
OFFH-CDMA Merged M-Sequence/Hyperbolic Code for Two Weights One Length WDM System
A Domain Specific Language for Securing Distributed Systems
Fairness in a Static Wireless Network
Proxy-based Security for the Session Initiation Protocol (SIP)
AURED - Autonomous Random Early Detection for TCP Congestion Control
End-to-End Differentiation of Congestion and Wireless Losses using a Fuzzy Arithmetic based on Relative Entropy
Network Coding for Detection and Defense of Sink Holes in Wireless Reconfigurable Networks
State of the art review of the existing PageRankTM based algorithms for trust computation
A Flexible Weight Based Clustering Algorithm in Mobile Ad hoc Networks
Modified DMAC Clustering Algorithm for VANETs
Programming Approaches and Challenges for Wireless Sensor Networks
Employing of Clustering Algorithm CWN-PAM in Mobile Network Planning
Cooperation between wired and wireless networks
Blind a Daptive Channel Shortening with a Generalized Lag-Hopping Algorithm Which Employs Squared Auto-Correlation Minimization [GLHSAM]
Improvement of GPON MAC Protocol for IP TV Service
Long Term Management of Private Digital Assets
A Cluster Based Topology Control Algorithm for Wireless Ad-Hoc Networks
Risk Analysis Methodology for New Critical Information Infrastructure
Design, Simulation and Implementation of a Channel Equalizer for DVB-T On-channel Repeaters
A Fuzzy Logic Based Model for Representing and Evaluating Service Composition Properties
Localization with Power Control in Wireless Sensor Networks
Mobile agent communication scheme
A New Preemption Algorithm Supporting Differentiated Services Aware Traffic Engineering
Threshold Cryptography and Authentication in Ad Hoc Networks Survey and Challenges
Testing Methodology Using SDL for an On-demand Routing Protocol in MANET
Application of Protégé and SPARQL in the Field of Project Knowledge Management
Usage Control Requirements in Mobile and Ubiquitous Computing Applications
E-Services for an Electronic Education Market
IEEE 802.11 network behaviour in the presence of Bluetooth network
Medical Applications of Wireless Networks
Proceedings of the International Conference on Systems and Networks Communications (ICSNC 2006), October 29 - November 3, 2006, Papeete, Tahiti, French Polynesia
Investigating the Impact of Convergence on the International Spectrum Regulatory Framework
Building Multicast Controller for Carrier-grade IPTV Service over Ethernet Passive Optical Network
Characterization of Blood Pressure Oscillometric Waveforms
Application Development in Vision-Enabled Wireless Sensor Networks
An Open-Source Component-Based Toolkit to Support E-learning Multimedia Environments
Impact ofWiener Phase Jitter Model on the Performance of Uplink OFDMA and Uplink MC-CDMA Systems
A Simple Computer Design with Monitor Interface: Integrating Hardware and Software in Early Research in Computer Science
Error Correcting Codes from Modified Butson-Hadamard Matrices
High Data Rate Ultra Wideband System Design for Wireless Sensor Network
3rd International Conference on Systems and Networks Communications, ICSNC 2008, Sliema, Malta, October 26-31, 2008
The Case of Multi-hop Peer-to-Peer Implementation of Mobile Social Applications
Routing and Performance Analysis of Double-Buffered Omega Networks Supporting Multi-class Priority Traffic
Enhancing End-to-End QoS for Multimedia Streaming in IMS-Based Networks
Performance Modeling of Fault Tolerant Fully Adaptive Wormhole Switching 2-D Meshes in Presence of Virtual Channels
Active Service Quality Management in ASEMA system
XHTML encoding and compression
Group Tone Spectrum Management Algorithm (GTSM) for VDSL2 Technology
A Multi-Layer Ubiquitous Middleware for Bijective Adaptation between Context and Activity in a Mobile and Collaborative learning
Differences in Robustness of Self-Organized Control and Centralized Control in Sensor Networks Caused by Differences in Control Dependence
A Novel Prioritized Control Scheme Using Random Access Period Control for Wide Area Ubiquitous Wireless Networks
VoIP Secure Communication Protocol satisfying Backward Compatibility
A ROD based Fuzzy packet loss differentiating algorithm for TCP in the hybrid wired/wireless network
A new approach of data hiding within speech based on Hash and Hilbert Transform
A Real-time Secure Voice Communication System Based on Speech Recognition
An Ubiquitous Testing System for m-Learning Environments
Fast Block Center Weighted Hadamard Transform
Using Honeynodes along with Channel Surfing for Defense against Jamming Attacks in Wireless Networks
Application Programming Interface offering classification services to end-user applications
Forecasting Unstable Policy Enforcement
Dynamic Cell Coverage Control for Power Saving in IEEE802.16 Mobile MultihopRelay Systems
A Stable Clustering Algorithm for Highly Mobile Ad Hoc Networks
A J2ME transparent middleware to support HTTP connections over Bluetooth
Cost Benefit Study of Sparse-Partial Wavelength Conversion Architectures
Impact of the DES and AES Algorithms on PERS (A Specific Processor for Sensor Networks)
PMIPv6 Route Optimization Mechanism Using the Routing Table of MAG
Certification and Revocation Schemes in Ad Hoc Networks Survey and Challenges
Distributed Event Detection in Sensor Networks
A Neuro-ForecastWater-Filling Scheme of Server Scheduling
QoS Routing In Ad Hoc Networks by Integreting Activity in the OLSR Protocol
Components for a pervasive information dissemination architecture
An Enhanced Anti-collision Algorithm in RFID Based on Counter and Stack
Traffic Demand Derivation in IP-Based Multi Service Class Environment
Automated Testing of WSN Applications
On the Applicability of Remote Rendering of Networked Virtual Environments on Mobile Devices
Use of MPEG-21 for Security and Authentication in Biomedical Sensor Networks
Development of Single Sign-On System with Hardware Token and Key Management Server
Ternary Codes From Modified Hadamard Matrices
Computing behavioural distance for fuzzy transition systems
A Hierarchical Spatial Logic for Knowledge Sharing and Fusion in Intelligent Connected Vehicle Cooperation
Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation
Composition Machines: Programming Self-organising Software Models for the Emergence of Sequential Program Spaces
Workflow Semantics of Peer and Service Behaviour
VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects
Runtime Verification with Multi-valued Formula Rewriting
4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010
Coarse Grained Retrenchment and the Mondex Denial of Service Attacks
Bounded Model Checking of ACTL Formulae
Inheritance and Modularity in Specification and Verification of OO Programs
Verifying Graph Transformations with Guarded Logics
Generation of optimal finite test suites for timed systems
ISS-Scenario: Scenario-Based Testing in CARLA
Android Malware Family Classification and Characterization Using CFG and DFG
idDL2DL - Interval Syntax to dℒ
A Common Semantic Scoring Method for Chinese Subjective Questions
Constructing Program Invariants via Solving QBF
Efficient Counter-factual Type Error Debugging
Detecting API-Misuse Based on Pattern Mining via API Usage Graph with Parameters
Abstractions for Real Real-time Systems
A New Roadmap on Linking Theories of Programming
A Formal Development Approach for Self-Organising Systems
State Significance-Guided Fuzzing for Stateful Protocol Program
Proving Computational Geometry Algorithms in TLA+2
A Formal Framework for Naturally Specifying and Verifying Sequential Algorithms
ABAC Requirements Engineering for Database Applications
Statement-Coverage Testing for Nondeterministic Concurrent Programs
The Logical Approach to Low-Level Stack Reasoning
Towards Practical Modeling of Web Applications and Generating Tests
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs
Verifying Interaction between Methods in Classes
RE2B: Enhancing Correctness of Both Requirements and Design Models
Property Checking for 1-Place-Unbounded Petri Nets
Parameterized Bisimulation Infinite Evolution Mechanism
Agile Services Oriented Virtualization of Web Services
Energy-Efficient Task Scheduling and Task Energy Consumption Analysis for Real-Time Embedded Systems
Robust Deep Reinforcement Learning Using Formal Verification
Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego
Research on Web Service Composition Using Probabilistic Abstraction Refinement
Strong Forgetting in Hennessy-Milner Logic
QCCS: A Formal Model to Enforce QoS Requirements in Service Composition
Consistency Checking for LSC Specifications
A Categorical Modeling Approach of Aspect-Oriented Systems
A Framework for Dependency Evaluation of the Agent Oriented Methodologies Work Flows
Characterising Probabilistic Alternating Simulation for Concurrent Games
Merging of Use Case Models: Semantic Foundations
An Operational Approach to Happens-Before Memory Model
Modeling MapReduce with CSP
Encoding Induction Proof in Dafny
A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models
Managing Traceability for Software Life Cycle Processes
Modeling and Reasoning about Software Systems Containing Uncertainty and Variability
Model Checking for Protocols Using Verds
Bisimulations for probabilistic linear lambda calculi
Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions
Improving Combinability of Petri Nets with Inheritance, Aggregation and Association
An Approach to Regression Test Selection of Adaptive EFSM Tests
Theoretical Aspects of Software Engineering - 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings
Machine-Checked Compositional Specification and Proofs for Embedded Systems
Dataflow Weaknesses Analysis of Scientific Workflow Based on Fault Tree
Executable Requirements Specification: Formal Semantics of Live Activity Diagrams
iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems
A Cross-Domain Data Sharing Scheme Based on Federated Blockchain
Failure Divergence Refinement for Event-B
Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings
Incremental Invariant Generation for Compositional Design
International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021
Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal
On Denotational Semantics of Spatial-Temporal Consistency Language - STeC
Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources
Identify Blackboard Pattern Based on Ontology
Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution
Equivalence of Denotational and Operational Semantics for Interaction Languages
Towards More Flexible Development of Z Specifications
Modeling and Verification of AUTOSAR OS and EMS Application
A Certified Thread Library for Multithreaded User Programs
A Formal Proof of the Soundness of the Hybrid CPS Clock Theory
Parametric Spatio-temporal Modeling and Safety Verifying for T2T-CBTC Systems
Formal Specification of Domain-Specific ECA Policy Models
Computing Repairs from Active Integrity Constraints
The L-Depth Eventual Linear Ranking Functions for Single-Path Linear Constraint Loops
A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines
An Improved Full Abstraction Approach to Analyzing Locality Semantics
An Interpreter for Framed Tempura and Its Application
Modular Development of Certified System Software
Certified Embedding of B Models in an Integrated Verification Framework
Data Structure Shape Inference and Verification for OO Programs
Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk)
Time-sensitive information flow control in timed event-B
Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq
Towards a Stochastic Occurrence-Based Modeling Approach for Stochastic CPSs
Contract Based Embedded Software Design
Formal Proof of Dynamic Memory Isolation Based on MMU
A Software Process for Modeling Complex Systems with UML-RT
Research and Practice of Container System
Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control
A Natural Formalized Proof Language
Unleash the Hidden Power of CAR-Based Model Checking Through Dynamic Traversal
An Approach to Improving Reliability of Parallel Graph Computation
Formal Verification of PKMv3 Protocol Using DT-Spin
Modeling and reasoning about wireless networks: A graph-based calculus approach
Time-Abstracting Bisimulation for Probabilistic Timed Automata
The Observer Pattern Applied to Actor Systems: A TLA/TLC-based Implementation Analysis
Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration
On Verification of Smart Contracts via Model Checking
Modeling Social Networking Privacy
Active Learning from Blackbox to Timed Connectors
Eliciting Timing Requirements for Cyber-Physical Systems: a Multiform Time based Approach
A Coherent Index for Dichotomy in Version-Controlled Repositories
Interpreting a Successful Testing Process: Risk and Actual Coverage
Empirically Scalable Invariant Generation Leveraging Divide-and-Conquer with Pruning
An Approach for Process Variability Control in Business Process Management
Dynamic Specification Mining Based on Transformer
Generating Test Cases from Requirements: A Case Study in Railway Control System Domain
A Formal Model for Service Choreography with Exception Handling and Finalization