yusuke1997/dblp-id-title huggingface dataset:
Proceedings of the International Conference on Communications in Computing, CIC '04, June 21-24, 2004, Las Vegas, Nevada, USA
Handoff Algorithm Improvement and its Analysis for Mobile Networks
HYPHEN - A File Replication Strategy Analyzer on P2P Networks
QoS Guaranteed SIP Communication Service by Bandwidth Reservation At Edge
Self-similarity in Message Passing Parallel Processing Communication
Semantically Based Knowledge Representation
Network Management Based on Mobile Agents
Closed-Loop Congestion Control Protocol Design for Elastic Traffic
Enhancements and Performance Evaluation of WANs
Software Architecture of a Network Fault Management System in Real Time
A Framework for Dynamic Composition of Web Services Using Static Look-Up Table
Statistical Speech Quality Prediction in VoIP Networks
A Firewall Simulation Study
Examining the Communication Requirements of Remote Scientific Visualization
Low Scale Deployment of RFIDs for Library Asset Tracking System
An Active Network-Based Intrusion Response System
Comments on the Channel Capacity of Ethernet
Transmission of Audio Signals from Multiple Sources
Towards Cyber Communities
Restriction of Network Topology Discovery within a Single Administrative Domain
Design of Distributed Component Frameworks for Computational Grids
Implementation of HDLC Based Serial Data Communication Using Java
The Potential for Autonomic Service Delivery Platforms
The Critical's Path of Communication Model Analysis for a Performant Implementations of High-speed Interfaces over the Myrinet Interconnect
Design and Implement of SD-Anycast Routing Protocol
Neuro-Aided Computing Approach to the Analysis of Noise Temperature in Microwave Mixers
Information Search and Access in Vehicular Ad-hoc Networks (VANETs): An Agent Based Approach
TCP Vegas-like Algorithm for Layered multicast Transmission
Grid Services Building Mechanism Using Web Services Model Based on OGSA
Progressive Scheduling Models for Next Generation Networks
Merging Telecommunication and Artificial Intelligence: Past, Present and Future
Towards a Comprehensive Peer-to-Peer Communication Model
Chordal Rings Based on Symmetric Odd-Radix Number Systems
Image Processor Electronics (IPE) - The High-Performance Computing System for NASA SWIFT Mission
Partial Tracking Strategies For Music Signals
Time and Message Efficient Election Protocol in a Mobile Computing Environment
Resilient Packet Ring Low Priority Traffic Latency
Lexicons in TIL and Verb Valency Frames
Network Performance Measurement Tools
A Novel Double-Link Failure Protection Algorithm in WDM Mesh Networks
Modeling and Fabrication of RF MEMS Switches
Probabilistic Analysis of Wavelength Assignment in WDM Optical Networks with Random Connection Requests
Availability Requirements of a Core Switch
On the Analysis of Packet-Train Probing Schemes
Using High-Capacity Data Networks and Uncompressed Video Transmissions for Distributed Television Productions in Real-Time
Design and Implementation of Source-Specific Multicast System over IPv6
Towards an Architecture for Audio/Video Conferencing in Distributed Brokering Systems
A New Method to Construct OVSF Codes Based on Jacket Matrices
A Two Layer Differentiated Service-Based Protocol for Inter- and Intra-Domain Multicast Routing
Advantage Time Division Multiplexing
A Finite State Approach in Modeling Human-Computer Communication
Fault-Tolerant Networks for Electronic Textiles
Reliability of Single, Double and N2R Ring Network Structures
Performance Evaluation of IPv4 vs. IPv6
Specific Absorption Rate Calculation using Parallel 3D Finite Difference Time Domain Technique
An Efficient Network Delay Analysis using End-to-End Delay-Constraint
An Upper Level Diagonal Work Distribution for LU Decomposition on the HP Superdome
Towards the Integration of Reliability and Traffic Engineering
Evaluating transport level protocols for MPI in the Internet
Methods for Handling Non-Markovian Performance Models
Enabling Video Conferencing Between VIC and NetMeeting
BER Performance of OFDM Using Differentially Encoded 16-Star QAM in AWGN & Rician Fading Channels
TCP Vegas vs. TCP Reno: Multiple Connections with Different Round Trip Delays
Chaotic Systems Synchronization in Secure Communication Systems
IIOP Failover in Dynamic Clusters
An Optimistic Deadlock Free Adaptive Wormhole Routing Algorithm for Two Dimensional Meshes
A Distributed Management Framework for H.323-Based VoIP System
Location Tracking in IP-based Mobile Networks
IIOP and SOAP Failover in Static Clusters
The Telematics Contents Providing System Based on a User's Request Using DMB Network
Throughput Analysis Based on a New Backoff Scheme
Handoff Improvement Between WiFi and CDMA2000
Convergence of Noncooperative Bottleneck Flow Control for Virtual Circuits in Two User Networks
On the Existence of Nash Equilibria in Power Based Flow Control for Virtual Circuits in Networks
A Novel Self Accommodate Control Network
Framework Supporting Information Sharing for Collaborative Model Construction
An Efficient Delay Sensitive Multicast Routing Algorithm
Improving Scalability and Convergence of Label Distribution Protocol
IP Formats in Intelligent Networks
Optimum Path Computation Algorithm for Real Time Multimedia Applications over Computer Networks
IP Queuing Analysis
Application of Perfect Difference Sets to the Design of Efficient and Robust Interconnection Networks
Cache Consistency for Distributed Object Caches in Web Systems
A Reliable Multicast Routing for Virtual Private Networks
A Study of Dispersion-based Measurement Methods in IEEE 802.11 Ad-hoc Networks
Acquisition of Remote Video Based on Windows CE
Temporal Difference Learning in Network Routing
Modeling and Analysis of OS Performance in High-Speed Networks
A Tone Dual-Channel DMAC Protocol in Location Unaware Ad Hoc Networks
Analyzing Dynamic Memory Allocation in Embedded Systems for Multi-Channel Modems
Design and Implementation of Desktop Video Conference System Based on Client-Server and P2P
Optimal Wavelength Conversion Degree in an All-Optical Network
The Impact of Clustering in Distributed Topology Control
Communication Induced Checkpoint Protocol for Multimedia Network Systems
Backoff Time Shifting Mechanism for Distributed Fair Scheduling in Wireless LANs
Term Indexing in Information Retrieval Systems
Receiver Grouping with Local Recovery for Scalable Reliable Multicast
Special Issue on "Network Simulation and Performance Analysis: Theory and Practice"
GSM/GPRS Performance Evaluation
Magic Square: Scalable Peer-to-Peer Lookup Protocol Considering Peer's Characteristics
Word Association Thesaurus as a Resource for extending Semantic Networks
Tree Based Conference Key Establishment Cost Analysis and Minimization in Heterogeneous Networks
Distributed and Scalable Path Management by a System of Cooperating Ants
On-line Algorithm for Server Selection of Video Streaming over P2P Networks
Using Jumbo-Frame Packets to Improve Network Throughput
Communications in Electronic Textile Systems
Lower Bounds for Wavelength Assignment in WDM Optical Networks Using a Random Graph Model
Survivable Cost-effective Reconfiguration in WDM Ring Networks
An Adaptive Bandwidth Control Algorithm for IP Routers
Intelligent CAC and Routing for Multi-Point Connections
Embedded Object-Relational Memory-Resident DBMS for Telecommunication Systems
A Number Translation Mechanism of the Softswitch in the IP-Based Converged Network
Searching Technique in Peer-to-Peer Networks by Detecting Stable Nodes
Dialogues for Agent Communication
A Position Paper: Towards an Utility Computing and Communications Infrastructure
Trade-offs between Optimality and Validity in Probabilistic Routing for Mobile Multi-Hop Networks
An Architecture for Delivery of Streaming Media Content based on Network Monitoring
Improving Communication Through Active Brokerage: The EGSO Date Grid
Client-side Encoding, Protocol and Transport Extensibility for Remote Systems
Predicting TCP/IP Stack Timings with Artificial Neural Networks
Cochannel Interference Reduction for CDMA Wireless Communication Systems
A New Server Bypass Architecture to Increase Storage Traffic Bandwidth
A P2P Communication Model for IPv4/IPv6 Hybrid Network
A Study on Exact Algorithm for Topology Discovery of Capacitated Minimum Spanning Tree Network
Implementation of Audio Sample Rate Conversion on TMS320C6713 DSP
Proceedings of the 2005 International Conference on Communications in Computing, CIC 2005, Las Vegas, Nevada, USA
Parallel Recombinative Simulated Annealing for Wavelength Division Multiplexing
A Simple Alamouti Code Communication Scheme For Synchronous Cooperative Relay Systems
EEVAR : Routing Protocol for Wireless Sensor Networks
Efficient Stream-Cipher for GSM Networks
Detection of Peaks in Spectral Representation of Music Signals
Design and Optimization Aspects of a Distributed Programmable Architecture for Monitoring Gigabit Networks
Implementation of MAC Protocol for Two-Stage AWG-Based WDM-PON
Analysis of 4th Degree Chordal Rings
Some Properties of Swapped Interconnection Networks
A Robust Strategy for AQM: Design and Validation
Standardizing IP Network Topology Discovery through MIB Development
Digital Channel Modeling Based on Chaotic Signal Generators and Application to ATM Networks
AIS Based Network Anomaly Detection Using Fuzzy Number Theory
Active Networks: A Comparative Study
A Security/Efficiency-Optimized Infrastructure for Wide-Area Distributed Systems
MAC Layer Mitigation of Interference Between IEEE 802.11a and Ultra Wideband (UWB) Systems
Dynamic Characteristics of k-ary n-cube Networks for Real-time Communication
Proceedings of the 2007 International Conference on Communications in Computing, CIC 2007, June 25-28, 2007, Las Vegas, Nevada, USA
A Survivable Multi-agent Approach to Network Routing
A Server Placement Algorithm for Overlay Networks Delivering End-to-End QoS
Study of Bluetooth Technology and Initial Research
Designing a Virtual Private Network - A Real Life Illustration
Transport Service for Session Initiation Protocol in SIP-T Scenarios
A Backtracking Routing Algorithm for Network on Chip
Enabling CDN for Live Streaming: A Joint Server-CDN Perspective
Constraint-Based Routing for GMPLS Islands of Transparency Optical Networks
SAGE: Sagacious File Replication Mechanism for Structured P2P Systems
Flow-level Traffic Modeling for Creating a Traffic Generator
Design Consideration for Improving QoS in Distributed Environments
An Investigation in Self-similar Study and Implication of 3G Mobile Traffic
Aerospace Telemetry
Searching the Internet Using Topological Analysis of Web Pages
Development A BR-DBA Algorithm for Improve Network Effiency
Communication Model to Support Rapid Application Development
A Novel Design of Software GNSS Signal Simulator
On Fast Estimation of Network Bandwidth
Hybrid Multicast Tree with Multiple Cores
Non Blocking OVSF Codes Influence The Performance Of WCDMA System
WordNet Ontology Based Model for Information Retrieval
Voice Over Multi-Protocol Label Switching (VoMPLS) - A Case Study
EA Design Using NGOSS eTOM
A New Localization Scheme in Sensor Networks
On the Design of Aggregation Networks for Fast Moving Users
A Data Replication Scheme based on Primary Copy for Ensuring Data Consistency in Mobile Ad hoc Networks
A Study of DiffServ and Protection Switching in MPLS Using RSVP-TE
A New Tree-based Tag Anti-collision Protocol for RFID Systems
A Comment on the Throughput of Non-Persistent CSMA
Proceedings of the 2006 International Conference on Communications in Computing, CIC 2006, Las Vegas, Nevada, USA, June 26-29, 2006
Resource Control in Access Networks with SIP Protocol
Phase Shift Of The Electromagnetic Waves Due To Wet Snow
Generalized Dual Diagonal Matrices for Efficient Encoding of Non-Binary LDPC Codes
Performance Evaluation of Optical Multicast Switch Architectures using Optical Splitters
Euler Hadamard Polynomial
Performance Modeling of a Cluster of Workstations
Efficient Communication Channel Utilization for Mapping FFT onto Mesh Array
Proceedings of the 2008 International Conference on Communications in Computing, CIC 2008, July 14-17, 2008, Las Vegas, Nevada, USA
Distributed Image Reconstruction of Micro-CT Data: Computation and Communication Issues
Modeling and Performance study of MPLS VPN
A Network Traffic Simulator to Reflect User's Behaviors
Communication in Robotic Soccer Game
Circuit Establishment in a Hybrid Optical-CDMA and WDM All-optical Network Using the Flodding Mechanism
A 160Gbps Cell Routing Switch with Gbps Serial Interconnection
Designing Ontologies Using Formal Concept Analysis
Identifying and Evaluating Critical Infrastructures - A Goal-driven Dependability Analysis Framework
Hexagonal and Pruned Torus Networks as Cayley Graphs
Low Encoding Complexity LDPC Codes Based on Block Inverse Jacket Matrices
Global Optimal Partitioning of Parallel Loops for Minimal Data Movement in Limited Memory Embedded Systems
Channel Assignment in Wireless Mobile Networks with Frequency Interference Over Distance
Fault-Tolerance Analysis of Multistage Interconnection Networks with Fixed Control Values
Architectures for Network Processors: Key Features, Evaluation, and Trends
Reliability and Fault Tolerant Percolation Routing for Large-Scale Computer Systems Using Optical Interconnections
An Efficient Update Algorithm for Supporting Mobility in Structured P2P Systems
A Performance Evaluation of Vertical Handoff Scheme between IEEE 802.16e and cdma2000 Networks
A Communication Framework for the Reconfigurable Multi-Ring Network
Video Transmission and Transcoding in Active Networks
A Scalable 3-Dimensional Multicomputer Architecture Using Optical Interconnection Capable of Sustaining PetaFLOP Computing
An Algorithm for Computing the Best Performing Path and Path Recovery Procedure for Multimedia Applications, over Computer Networks
Audio Quality for a Simple Forward Error Correcting Code
Overview and Application of a Modeling and Simulation Environment to Support Protocol Performance Evaluations in Mobile Communications Networks
Size Optimal Strategies for Capturing an Intruder in Mesh Networks
Proceedings of the International Conference on Communications in Computing, CIC '03, June 23 - 26, 2003, Las Vegas, Nevada, USA
Clustering of Documents Via Similarity Measures
A Transformation Scheme for Interconnection Networks
Receiver-Initiated Collision Avoidance in Multi-Hip Ad Hoc Networks
Emulation Of The GTP Protocol With Ns-2
Multi-Player Gaming for Mobile Phones Through GPRS/WCDMA
Research on Vehicle LIN Bus Frame Transmission and Real-Time Property
Lexical Semantic Networks and Ontologies in XML, Their Viewing and Authoring
Tradeoff Between Performance and Computation for Prediction of Real-Time MPEG Video Traffic
A Sequence of Laboratory Programming Projects for a Course in Computer Networks and Client-Server Computing
Research for Source Routing Based Multipath Routing Protocol
An Optimized Time-Constraint Job Scheduling in Group Based P2P Computing Networks
New DBA Algorithm Supporting QoS for EPON
Flow-Based Multistage Co-Allocation Service
Policy Based QoS Support using BGP Routing
A Competitive Model of User Behaviour for Resource Allocation in Congested Networks
RPC LSP Detection and Fuzzy Control Mechanisms in ATM Based MPLS on BcN
Developing A Framework for Defending Against Network Attacks
Broadband Communication in the Access Network
Efficient Routing in Suburban Ad-Hoc Networks (SAHN)
Radio Frequency Identification (RFID): Promising and Challenging Implantation Perspective
Quality of Service Controls in Core of the Internet
Performance Analysis of Punctured Turbo Code under An AWGN Channel
Performance Studies of a Coding Scheme for a Slepian-Wolf Source Network
An Efficient Channel Equalization on the Transmission of Turbo Coded Signals
A Linear Time Algorithm for Coding and Decoding Neville Codes
Routing for a Multicommodity Traffic Problem with Transmission Delay and Load Balancing Considered
Upper Bounds for Wavelength Assignment in WDM Optical Networks Using a Random Graph Model
Employing Active Admission Control as Traffic Engineering Mechanism in QoS Multicast Routing
Approximate Analysis of Coupled Queueing for Self-Similar Video Traffic in ATM Networks
Research on an adaptive WKA method in Secure Multicast
Design and Development of a Reconfigurable Enterprise Financial Reporting Service
Model-Driven Organizational and Business Agility - Second International Workshop, MOBA 2022, Leuven, Belgium, June 6-7, 2022, Revised Selected Papers
A Theoretical Model for Defining Prerequisites of the IT-Business Alignment in the Social Dimension
Formulation of Agile Business Rules for Purchasing Control System Components Process Improvement
ANP Model as a Support to Decide the Project Management Style
Application of an Agent-Based Simulation for a Definition of a Trade-Off Retail Price Promotion Strategy
Comparing the Expressiveness of Imperative and Declarative Process Models
Proposal for Determining the Angular Position of Artificial Intraocular Lens in the Human Eye
Model-Driven Organizational and Business Agility - Third International Workshop, MOBA 2023, Zaragoza, Spain, June 12-13, 2023, Revised Selected Papers
A Business Intelligence Tool for Explaining Similarity
Transformation of Class Hierarchies During Agile Software Development in UML
Using Self-paced Multimedia Courses to Create Individual Student Trajectories
On the Relevance of Explanation for RDF Resources Similarity
Character Segmentation in the Development of Palmyrene Aramaic OCR
Deriving Relational Normalisation from Conceptual Normalisation
Business Process Models and Eye Tracking System for BPMN Evaluation-Usability Study
Cross-Pollination of Personas, User Stories, Use Cases and Business-Process Models
Strategic Agility in Practice: Experts' Opinions on the Applicability of a Model-Driven Framework
Agile Game in Practice
Application of an Adaptive Domain-Specific Interface in a Decision-Support System for Planning Railroad Technical Services
IT Crisisology: New Discipline for Business Agility
Analysis of Data Center Development Problems in the Era of Digital Transformation
Computability Models over Categories and Presheaves
Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm
The Undecidability of Second Order Linear Affine Logic
Effectivity Questions for Kleene's Recursion Theorem
Comparing Models of the Non-Extensional Typed Lambda-Calculus
A Proof Procedure for Hereditary Harrop Formulas with Free Equality
Pairing Traditional and Generic Common Knowledge
Explicit Proofs in Formal Provability Logic
Feedback Hyperjump
A Bialgebraic Approach to Automata and Formal Language Theory
An Abstract Property of Confluence Applied to the Study of the Lazy Partial Lambda Calculus
The NP-Completeness of Reflected Fragments of Justification Logics
Finite Model Theory, Universal Algebra and Graph Grammars
The Completeness of BCD for an Operational Semantics
Angluin Learning via Logic
Index Sets for Finite Normal Predicate Logic Programs with Function Symbols
Small Model Property Reflects in Games and Automata
Foundations of Proof Search Strategies Design in Linear Logic
Non-Stable Models of Linear Logic
Set Theoretic Foundations for Fuzzy Set Theory, and Their Applications
Computability of Algebraic and Definable Closure
A Non-hyperarithmetical Gödel Logic
Modular Linear Logic
A Logic of Capabilities
Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics
Studying Algorithmic Problems for Free Semi-groups and Groups
Normal Forms for Multiple Context-Free Languages and Displacement Lambek Grammars
Modal Logics with Hard Diamond-Free Fragments
A Labeled Natural Deduction System for a Fragment of CTL*
Yet Another Correctness Criterion for Multiplicative Linear Logic with MIX
Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings
Separating the Fan Theorem and Its Weakenings
Graded Modalities in Epistemic Logic
An Algebraic Correctness Criterion for Intuitionistic Proof-Nets
Adjoint Logic with a 2-Category of Modes
Automata and Answer Set Programming
Topological Forcing Semantics with Settling
Forward Chaining for Hybrid ASP
On Aggregating Probabilistic Evidence
Computational and Concurrency Models of Linear Logic
The Notion of Rank and Games
Cut Elimination in Deduction Modulo by Abstract Completion
Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems
Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms
Representing Null Values in Logic Programming
A Parametrized Family of Tversky Metrics Connecting the Jaccard Distance to an Analogue of the Normalized Information Distance
On the Constructive Dedekind Reals: Extended Abstract
Finite Bases of Admissible Rules for the Logic S52C
On Lambek's Restriction in the Presence of Exponential Modalities
Unification of Terms with Term-Indexed Variables
Minimal Negation and Hereditary Harrop Formulae
Exact and Parameterized Algorithms for Read-Once Refutations in Horn Constraint Systems
Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference
Back-Forth Equivalences for Design of Concurrent Systems
Finitism, Imperative Programs and Primitive Recursion
Decidability and Undecidability in Probability Logic
Between Turing and Kleene
Ogden Property for Linear Displacement Context-Free Grammars
Tracking Computability of GPAC-Generable Functions
Data Privacy for Knowledge Bases
A Gödel-Artemov-Style Analysis of Constructible Falsity
Classical Logic with Mendler Induction - A Dual Calculus and Its Strong Normalization
Temporalizing Modal Epistemic Logic
A Logic of Interactive Proofs
Contextual Natural Deduction
On the Sharpness and the Single-Conclusion Property of Basic Justification Models
Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings
Observable Models
The Polynominal Complexity of Conjunctive Normal Form Satisfiability, when the Number of Conjunctions and Negations is Limited
Continuous I-Categories
The Complexity of Disjunction in Intuitionistic Logic
Multiple Conclusion Linear Logic: Cut Elimination and More
Constructive Polychronous Systems
Operational Logic of Proofs with Functionality Condition on Proof Predicate
Computational Properties of Partial Non-deterministic Matrices and Their Logics
Finite Automata Presentable Abelian Groups
Iterated Contraction Based on Indistinguishability
Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Craig Interpolation Property in Modal Logics with Provability Interpretation
Equivalence of Multiplicative Fragments of Cyclic Linear Logic and Noncommutative Linear Logic
Operators on Lattices of omega-Herbrand Interpretations
Interpretations of Presburger Arithmetic in Itself
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems
The Complexity of Propositional Modal Theories and the Complexity of Consistency of Propositional Modal Theories
Kleene Automata and Recursion Theory
Domain-Free Pure Type Systems
Reducts of Relation Algebras: The Aspects of Axiomatisability and Finite Representability
An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-Calculus
Completeness Results for Memory Logics
Model Checking Knowledge and Linear Time: PSPACE Cases
On Specialization of Derivations in Axiomatic Equality Theories
Conservatively Approximable Functions
Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus
A Tableau System for Instantial Neighborhood Logic
Notions of Cauchyness and Metastability
Concurrency Problem for Horn Fragment of Girard's Linear Logic
Pure Type Systems with Definitions
Strictness Logic and Polymorphic Invariance
A Quest for Algorithmically Random Infinite Structures, II
Simulating eta-expansions with beta-reductions in the Second-Order Polymorphic lambda-calculus
Some Decision Problems for Traces
Product-Free Lambek Calculus Is NP-Complete
Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings
An Arithmetical Interpretation of Verification and Intuitionistic Knowledge
A Predicate Logic of Well-Founded Actions