yusuke1997/dblp-id-title huggingface dataset:
ID-based threshold decryption without random oracles and its application in key escrow
An efficient digital signature using self-certified public keys
Cryptanalysis of group signature scheme from ID-based signature scheme
High-quality pseudo-random sequence generator based on one-dimensional extended cellular automata
On timeliness of a fair non-repudiation protocol
Application of data mining technology and generic algorithm to intrusion detection system
Component-based digital watermarking of Chinese texts
Gossip-based scalable and reliable group key distribution framework
Signcryption based on elliptic curve and its multi-party schemes
How to conduct a sealed bargain on the internet
Securing ad hoc networks through mobile agent
An ID-based group signature
Authenticated group key agreement with admission control
Research on network information filtering model based on fuzzy set
An image watermark algorithm based on discrete cosine transform block classifying
AT-PAM: an authentication trustworthiness-based PAM
An attribute-based-delegation-model
Database intrusion detection based on user query frequent itemsets mining with item constraints
Security analysis and improvement of some proxy signature schemes
Hybrid detector set: detectors with different affinity
Organization structure based access control model
Design and implement of firewall-log-based online attack detection system
Research on security of storage area network
A rule-based framework for role-based constrained delegation
Robust ID-based threshold signcryption scheme from pairings
Applying multiple criteria decision making to improve security architecture development
Cryptanalysis of publicly verifiable authenticated encryption
Worm propagation modeling and analysis based on quarantine
A network intrusion detection system based on the artificial neural networks
A proxy-protected signature scheme based on conic
Anonymous traceable disclosure scheme using pairing over elliptic curve
The optimized key distribution scheme in threshold RSA
A new content-based digital audio watermarking algorithm for copyright protection
A security scheme of electronic commerce for mobile agents uses undetachable digital signatures
Automatic metadata generation based on neural network
Transformation-free proxy cryptosystems and their applications to electronic commerce
A new type of security and safety architecture for distributed system: models and implementation
Hybrid BP/CNN neural network for intrusion detection
New multi-signature and proxy multi-signature schemes from the Weil pairings
Provably secure delegation-by-certification proxy signature schemes
A novel distributed intrusion detection model based on mobile agent
Research on authenticated key agreement in group settings
A new watermarking scheme against inserter-based attacks suitable for digital media with moderate size
A study of secure multi-party elementary function computation protocols
New construction of resilient functions with satisfying multiple cryptographic criteria
Communication and recovery issues in grid environment
A framework of cooperating intrusion detection based on clustering analysis and expert system
An architecture of pattern-oriented distributed meta-search engine
A real-time algorithm to detect long connection chains of interactive terminal sessions
Implementation of Parameterized Hierarchical Specifications
Extended ML: An Institution-Independent Framework for Formal Program Development
Multi-Operator Algebras
Prototyping Non-Deterministic Algebraic Specifications using the RAP System
Recent Development of the PLUSS Specification Language
Verification in OBSCURE
HANSI Evaluates Algebraic Specifications - You will love it
Transformation of Interface Specifications
Algebraic Specification of Subsorts
Implementation Specifications
On Formalization and Its Related Notions
Jungle Evaluation
Proceedings of the 4st Workshop on Abstract Data Type, 1986. University of Braunschweig, Germany
Towards Abstract User Interfaces for Formal System Specifications
The PAL Module Concept
The Specification Language GSBL
Fair Conditional Term Rewriting Systems: Unification, Termination, and Confluence
A Computability Perspective on (Verified) Machine Learning
Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers
Concepts of Algebraic Database Programming Languages
Complexity in Algebraic Specifications: An Upper Bound Result
Abstract Models for Types, Induction, and Proofs
Complexity of Abstract Data Types
Parameterized Data Types and Parameter Passing
Recent Trends in Algebraic Development Techniques - 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers
Clausal Rewriting: Applications and Implementation
The Storage and Access Structure of Algebraically Specified Data Types
A Kernel Language for Algebraic Specification and Implementation
The Algebraic Specification of Semi-Computable Data Types
Is Data Abstraction Sound?
A Match Operation for Rule-Based Modular System Design
Deriving Functional Programs from Equational Specifications
The Stratified Loose Approach: A Generalization of Initial and Loose Semantics
Why Adjunctions Matter - A Functional Programmer Perspective
Inductive Expansion
Proving Constructor Implementations in Two Steps
Some Thoughts on Practical Usefulness of Operational and Initial Semantics for Algebraic Software Specifications
Order-Theoretic Specification of Algebras with Non-Monotonic Operations
Correctness of Type Transformations
Suggestions on the Interpretation of Algebraic Specifications
Recursion-Theoretic Problems in Abstract Data Type Theory
A Notion of Implementation for the Specification Language OBSCURE
A Parameterization Concept for Hierarchies of Specifications
The ACT System: Experiences and Future Enhancements
Parameterization of Order-Sorted Algebraic Specifications with Built-In Coercers
Abstract Data Types, Program Schema, and Programming Environments
Error Handling for Parameterized Data Types
Specification of Abstract Data Types with Experiments
ADT as a Design Concept for CHILL
Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure
Algebraic Specifications of Database Constraints
OSI Transport Service Considered as an Abstract Data Type
Proceedings 2nd Workshop on Abstract Data Type, 1983. University of Passau, Germany
An Implementation Concept for Observational Specifications
Operational Aspects of Algebraic Specifications
Dependent Types Considered Necessary for Specification Languages
Topological Inquiry in Abstract Model Theory
Rewrite Rules with Conditions for Algebraic Specifications
On the Proof of Completeness and Consistency
Hierarchical Specification of Parameterized Abstract Data Types by Means of Canonical Term Algebras
Unified Algebras
Algebraic Specification of Exception Handling and Error Recovery in Abstract Data Types
Constraints for Behavioural Specifications
The Specification Language of OBSCURE
An Interpreter for Algebraic Specifications with User Controlled Termination
Horn Clause Specifications with Polymorphic Types
Ideas for the Development of Software Systems on the Basis of Algebraic Specifications
Error Handling in Algebraic Specifications
On the Algebraic Specification of Programming Languages
Initial Behaviour Semantics for Algebraic Specifications
Passing Compatibility is almost Persistency
Model Theory of Denotational Semantics
The ACT System - A Software Environment for ACT ONE Specifications
Exception Handling and Subsorts
Proceedings 1st Workshop on Abstract Data Type, 1982. University of Dortmund, Germany
Term Rewriting Methods for Partial Specifications
Proving Inductive Theorems in Equational Theories
On the Solution of Recursive Domain Equations Inside an Algebraic Framework
Specifications of Errors in Data Types using Conditional Axioms
Parallel Object-Oriented Term Rewriting
Type Logic
Executing Specifications using Conditional Axioms
The PLUSS Specification Language
Scientific-Theoretic Foundations of the Concept of Abstract Data Type
Abstract Architecture of an Interactive Programming System
Based Algebras
Generalized Computable Algebra and Its Application to the Implementation of Abstract Data Types
Operational Semantics of Behavioural Canons based on Narrowing
Generic Types in a Language for Data Directed Design
Problems as Abstract Data Types: Applications to Program Construction
Forcing with Universal Sentences and Genericity of Inductive Closures
Algebraic Specification of a Text Editor
Vertical and Horizontal Compositions of Implementation Specifications
Algebraic Theory of Modular Specification Development
Algebraic Specifications of Abstract Data Types and CCS: An Operational Junction
Term Evaluation in Partial Algebras
Towards Object-Oriented Algebraic Specifications
Formal Development of ML Programs: Methodological Aspects
OBSCURE - A Language for Algorithmic Specifications
A Kernel Specification Formalism with Higher-Order Parameterization
Algebraic Data Type and Process Specifications based on Projection Spaces
Some Thoughts on Algebraic Specification
An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols
Specification of Partial Functions - Only a Tentative Suggestion
Specification of Parameterized Data Types
Abstract Data Types and Categorical Logic
Implementation of Abstract Data Types in PASCAL Programs
ACT - Algebraic Specification Technique for the Correct Design of Reliable Software Systems
Projection Spaces
Knuth-Bendix Completion for Parametric Specifications with Conditional Equations
Initial and Fixpoint Semantics of Algebraic Specifications
Categorical Semantics, Or Extending Data Types to Include Memory
A Two-Category Approach to Critical Pair Completion
Composition and Implementation of Parameterized Data Types
Parameterized Software Specifications with Inductively Defined Operations
Automatic Prototyping of Algebraic Specifications using PROLOG
Abstract Implementation with Exception Handling
SpeX: A Rewriting-Based Formal Specification Environment
Typed-Equational Types: Pragmatics
Some Results on Finite Specifiability of Parameterized Data Types
Polymorphic Order-Sorted Algebra
OBSCURE, A New Specification Language
Structuring Theories on Consequence
Behavioural Implementations of Non-Deterministic Data Types
Completion with History-Dependent Complexities for Generated Equations
Towards an Algebraic Semantics for Databases
Algebraic (?) Specification of Conceptual Database Schemata
Towards a Unified Theory of Data Types: Some Categorical Aspects
Prototyping of Z Specifications in ML
On the Algebraic Specification of Domains
Programming and Checking Data Types with REVE
Design of a Compiler for Lazy Pattern Driven Narrowing
Modular Construction of Logics for Specification
An Algebraic View of Local Formalisms
On Solving Divergence in Knuth-Bendix Completion
Observing Non-Deterministic Data Types
A Module Concept within the Initial Behaviour Framework
Computable Functional Enrichments of Parameterized Behavioural Data Types
Towards a Unified Logic for Specification and Programming
ACT ONE - An Algebraic Specification Language with two Levels of Semantics
Structuring of Specifications within a Logical Theory of Data Types
Bialgebraic Representation of Coordination Frameworks
The Description of Programming Languages and the Verification of their Compilers with the Help of Algorithmic Specifications of Abstract Data Types
Term Rewriting Systems with Restricted Variables
Axiomatizing Specification Theory
The Institution of Many-Logics Modal Logic
An Algebraic Implementation Concept for Abstract Data Types
ADT Implementation and Completion by Induction from Examples
Partial Algebras, Subsorting, and Dependent Types: Prerequisites of Error Handling in Algebraic Specifications
Algebraic Specifications of Reachable Higher-Order Algebras
Composition of Algebraic High-Level Nets
Mutually Recursive Algebraic Domain Equations
Algebraic Data Types and Object-Oriented Programming
On Hierarchy, Incompleteness and Exception Handling in Equational Specifications of Abstract Data Types
Recent Trends in Data Type Specification, 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen, Germany, November 13-16, 1984, Selected Papers
Abelian Monoids versus Concurrency - An Algebraic Approach to the Specification of Distributed Systems
OBJ-SAN: Towards the Definition of a Class of High-Level Nets using OBJ2
Executable Specifications for Data Type Constructors
The ASSPEGIQUE Specification Environment - Motivations and Design
Programs over Abstract Data Types
Finite Approximations of the Common Meadow of Rational Numbers
A Defense of Proof Theory as the Right Foundations
Generalized Heterogeneous Algebras
Parameterized Specifications - Parameterized Passing and Implementation with Respect to Observability
Shades of Iteration: From Elgot to Kleene
Observational Specification: A Birkhoff Theorem
Towards a Termination Ordering for Loop Programs
Action Semantics
Correctness Proofs for Abstract Implementations
Algebraic Domain Equations
Entities: An Institution for Dynamic Systems
Compilation of Algebraic Specifications and Term Rewriting Systems
Error Handling as Type Checking
A Remark on two Strategies for Software Development: Hoare-Like Verification and Algebraic Implementation
The Module Specification Language ACT TWO
Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany
A Final Algebra Semantics for Errors and Exceptions
The Specification Language OBSCURE
A Revised Version of ACT ONE
From Requirements to Design Specification
Position Paper on Requirement Specification Language Project
Implementation of Tools for the Specification and Validation of ADTs: Application to Communication Protocols
Towards an Algebraic Semantics of the ISO Specification Language LOTOS
The Specification Language for the GESTALT Environment
Building Correct-by-Construction Systems with Formal Patterns
A Presheaf Semantics for Quantified Temporal Logics
Universal Algebra in Higher Types
Extended ML: Past, Present, and Future
On the Semantics of the Frame Rule
Inductive Completion for Transformation of Equational Specifications
Algebraic Specifications with Higher-Order Operations
Program Verification with fewer Tears
Ordered and Continuous Models of Algebraic Types
Modular Compiler Descriptions based on Abstract Semantic Data Types
Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers
Models and Logical Deduction in Partial Higher-Order Conditional Specifications
Model-Theoretic Specifications and Back-and-Forth Equivalences
From Algebraic Specifications towards Algebraic Programs
A Proof-Theoretic Characterization of Persistency for Parameterized Specifications with Boolean Constraints
Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990
The Use of Terminal Semantics for Disproving Inductive Theorems
Polymorphic Types and Algebraic Specifications
Objects and Object Types
Some Uses of Modal Semirings
ORS Specifications: Ideas, Application Examples, and Experiences
Automated QoS-Aware Service Selection Based on Soft Constraints
Configuration versus Use: Specification Languages versus Logics
Runtime Composition of Systems of Interacting Cyber-Physical Components
Energy-efficient Network Discovery mechanism by exploiting cooperation among terminals
Ensuring fair downlink allocation in modern access networks: The XG-PON framework
Performance analysis of noncoherent frame synchronization in satellite communications with frequency uncertainty
Energy efficient Fi-Wi LAN with performance optimization
Comparative assessment of orthogonal and nonorthogonal multiplexing techniques for differentiated satellite broadcasting services
Network-Wide Broadcasts for Wireless Mesh Networks with regard to reliability
Recursive spatial multiplexing in interference-limited indoor scenarios
Narrowband RF distance measurement using phase locked FM transceivers
A design of 2.4GHz rectifier in 65nm CMOS with 31% efficiency
Comparison of two lightweight protocols for smartphone-based sensing
Adaptive push-based data broadcasting in asymmetric wireless environments with low computational complexity
Channel utilization based energy efficient RoF Centralized Enterprise WLAN
A security protocol with minimum interference for UWB and WiFi networks
New method to design multiplier-less pulse shaping filters with minimal number of operations
Sum-rates of radio-over-fiber small cell networks and massive MIMO for indoor communications
Energy-efficient off-body communication nodes with receive diversity
A new algorithm for low-complexity schedule construction in wireless push systems
Connecting the houses at FttH with respect for social costs: Solving a Steiner tree problem with timing benefits
An antenna selection method for two-way relay networks
FPGA based pi/4-DQPSK complex wavelet packet modulation
Coexistence with WiFi for a Home Automation ZigBee product
WiFi ad-hoc mesh network and MAC protocol solution for UWB indoor localization systems
Design of an integrated mobile system to measure blood pressure
A 60GHz fully integrated power amplifier using a distributed ring transformer in CMOS 65nm
Comparison of coding strategies for a combined multi-Gbps fiber and twisted-pair link
Network-wide synchronization in Wireless Sensor Networks
Multi-user downlink resource allocation with per-base station power constraints
A survey on the usage of DSRC and VLC in communication-based vehicle safety applications
Near-far problem in noise-based frequency-offset modulation
Poster: A 60 GHz phased array system evaluation based on a 5-bit phase shifter in CMOS technology
Chirp spread spectrum as a modulation technique for long range communication
Tracking of a rotating object in a Wireless Sensor Network using fuzzy based adaptive IMM filter
Design of an embedded UWB hardware platform for navigation in GPS denied environments
Wi-Fi helping out Bluetooth smart for an improved home automation user experience
Measurements and performance of large MIMO systems at 2.4 GHz for indoor WLAN
A metaheuristic bandwidth allocation scheme for FiWi networks using Ant Colony Optimization
Multi-antenna techniques and beamforming for communication systems
A low-complexity algorithm for joint spectrum and signal coordination in upstream DSL transmission
LTE as a potential standard for public safety indoor body-to-body networks
Adaptive modulation and coding for BIC-UFMC and BIC-OFDM systems taking CFO into account
Poster: ITU-T G.9903 performance against middleton class-A impulsive noise
Multi-objective genetic algorithm downlink resource allocation in LTE: Exploiting the cell-edge vs. Cell-center trade-off
Improving safety message dissemination in IEEE 802.11e based VANETs using direction oriented controlled repetition technique
From multipoint relaying to chain-branch-leaf: Improving the clustering in OLSR for vehicular ad hoc networks
Creating mobile traffic grids based on geospatial data and using cell assignment probabilities
20th IEEE Symposium on Communications and Vehicular Technology in the Benelux, SCVT 2013, Namur, Belgium, November 21, 2013
Effects of imperfect CSIT on downlink MU-MIMO fair SLNR scheduling algorithm
Semi-analytical evaluation of concatenated RS/LDPC coding performance with finite block interleaving against impulsive noise
Performance analysis of WMN routing protocols for disaster networks
Poster: Comparative study of EM-MAC and TSCH/orchestra for IoT
QoS provisioning by cross-layer feedback control
A 107GHz LNA in 65nm CMOS with inductive neutralization and slow-wave transmission lines
Cellular-Broadcast service convergence through caching for CoMP cloud RANs
Performance limit for distributed detection under correlated observations in wireless sensor networks
Performance of barcode scanner using peak detection with interference from LED lamps
Performance evaluation of a network coding scheme for interference channels with LTE codes
Cooperative cognitive spectrum sensing using optimized DFT filter banks
On applying firefly algorithm for cognitive radio networks
The optical illumination channel
Continuous approximation of stochastic models for wireless sensor networks
Dynamic BLE-based fingerprinting for location-aware smart homes
Performance evaluation of a wavelet packet-based spectrum estimator for Cognitive Radio applications
Performance analysis of wireless sensor network node localization algorithm
Denial of service (DoS) attacks detection in MANETs using Bayesian classifiers
Constellation design in four dimensions under average power constraint
MMSE equalization of multi-Gb/s chip-to-chip interconnects with M-PAM signaling affected by manufacturing tolerances
Flow Aware Admission Control-Multipath protocol with multiple constraints (FAAC-MM) for assurance of multiple QoS metrics in MANETs
Wireless power and data transmission for robotic capsule endoscopes
Poster: Model of extra power in the transmitter for high-speed visible light communication
On the effect of movement on the localization accuracy in practical wireless networks
Doppler compensation for mobile OFDM systems with multiple receive antennas
Real-time wide-band spectrum sensing for cognitive radio
Accurate modeling of the predicted κESM-based link performance metric for BIC-OFDM systems
Analysis of the MAC performances in 802.11g radio-over-fiber systems
Connectivity analysis of wireless sensor networks deployments in smart cities
Symposium on Communications and Vehicular Technologies, SCVT 2016, Mons, Belgium, November 22, 2016
Mobility-based traffic offload from WiMAX to WLAN
Ultra-wideband wireless vibration monitoring of off-highway vehicles
Cryptographic accelerator for 802.15.4 transceivers with key agreement engine based on Montgomery arithmetic
Validation study of risky event classification using driving pattern factors
Modelling message flows in Networked Lighting Control Systems using Trickle and CSMA
RAT selection based on association probability in 5G heterogeneous networks
18th IEEE Symposium on Communications and Vehicular Technology in the Benelux, SCVT 2011, Ghent, Belgium, November 22-23, 2011
On the robustness of a cooperative turbo coded system to channel estimation errors
Smart constellation selection for precise vehicle positioning in urban canyons using a software-defined receiver solution
Effect of path loss on outage probability in multi-hop broadcast networks
Transmitter location estimation for radio environment map construction using software defined radio
Applications and trends in wireless acoustic sensor networks: A signal processing perspective
Analysis of power efficiency of schedulers in LTE
Stochastic modeling of IEEE 802.11p output process for efficient V2X large-scale interworking
21st IEEE Symposium on Communications and Vehicular Technology in the Benelux, SCVT 2014, Delft, The Netherlands, November 10, 2014
Surface impedance model for nano-scale device communications over an interface
Performance of chirped-FSK and chirped-PSK in the presence of partial-band interference
Parallelized correlator bank for a 1 GHz bandwidth phase modulated CW radar in the 79GHz band
Data Rate based Congestion Control in V2V communication for traffic safety applications
Poster: Design consideration of 60 GHz low power low-noise amplifier in 65 nm CMOS
Channel tracking for a multi-antenna ITS system based on vehicle-to-vehicle tunnel measurements
Offset mismatch calibration for TI-ADCs in high-speed OFDM systems
Feedback bit allocation for large distributed antenna systems in indoor WLAN
Full diversity random LDPC codes
Downlink throughput characterization of RoF based hybrid 802.11 Fi-Wi
Single-tone interference in noise-based frequency offset modulation
Performance comparison of short-length error-correcting codes
Cooperative feature-based TDOA estimation with multipath diversity
Throughput enhancement by Dynamic Frame Aggregation in multi-rate WLANs
A 60-GHz injection locked oscillator for self-demodulation ultra-low power radio in 65-nm CMOS
Comparative performance study of RPL in Wireless Sensor Networks
A MIMO-OFDM scheme with full-diversity in frequency for time-varying channels