yusuke1997/dblp-id-title huggingface dataset:
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders
Formal Methods for Open Object-Based Distributed Systems V, IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands
Adaptation of Open Component-Based Systems
On Correctness of Dynamic Protocol Update
Distributed Feature Composition: An Architecture for Telecommunication Services (Tutorial)
A Timing Analysis of AODV
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude
Tools for Integrating Formal Methods in to the Java Software Development Process (Invited Talk)
Supporting Collaborative Design
Modeling- and Analysis Techniques for Web Services and Business Processes
A Representation-Independent Behavioral Semantics for Object-Oriented Components
Interpreting ODP Viewpoint Specification: Observations from a Case Study
Formal Methods for Open Object-Based Distributed Systems IV, IFIF TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA
Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy
CoBoxes: Unifying Active Objects and Structured Heaps
A Visual Modeling Framework for Distributed Object Computing
Pict Correctness Revisited
A Distributed Implementation of Mobile Nets as Mobile Agents
Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems
Combining Design Methods for Service Development (Short Paper)
Software Model Checking: The Bandera approach
CompAr: Ensuring Safe Around Advice Composition
Managing the Evolution of .NET Programs
A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Pattern Matching over a Dynamic Network of Tuple Spaces
Towards a Formal Operational Semantics of UML Statechart Diagrams
A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services
Infinite types for distributed object interfaces
Transforming Information in RDF to Rewriting Logic
Refactoring Object-Oriented Specifications with Data and Processes
Object-Oriented Programming for Wide-Area Computing
XPi: A Typed Process Calculus for XML Messaging
A Compositional Formalism for Object Viewpoints
Bounded Analysis and Decomposition for Behavioural Descriptions of Components
Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts
On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance
Composition and Interaction for Behavioural Specifications
Guaranteeing Resource Bounds for Component Software
Static safety analysis for non-uniform service availability in Actors
Checking Consistency in UML Diagramms: Classes and State Machines
A Rewriting Based Model for Probabilistic Distributed Object Systems
On Resource-Sensitive Timed Component Connectors
Modeling and Validation of a Software Architecture for the Ariane-5 Launcher
The Kell Calculus: Operational Semantics and Type System
Formal Modeling of a Generic Middleware to Ensure Invariant Properties
Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
Specification of Dynamic Reconfiguration in the Context of Input/Output Relations
Formally Modeling UML and its Evolution: A Holistic Approach
Towards an Integrated Formal Analysis for Security and Trust
Specifying component-based Java applications (Short Paper)
Specification and Verification of Encapsulation in Java Programs
An Algebra of Actors
Foundations for Wide-Area Systems (Tutorial)
Checking the Validity of Scenarios in UML Models
Computer-aided Specification and Verification of Annotated Object-Oriented Programs
Formal specification of discrete systems by active predicates and dynamic constraints (Short Paper)
An Approach to Quality Achievement at the Architectural Level: AQUA
Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
Atomic Failure in Wide-Area Computation
Calculi for Concurrent Objects (Tutorial)
A Feature Manager Approach to the Analysis of Component-Interactions
Stochastically Enhanced Timed Automata
On the Semantics of JavaSpaces
Defining Object-Oriented Execution Semantics Using Graph Transformations
A Semantics for UML-RT Active Classes via Mapping into Circus
Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service
Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking
Generating Instance Models from Meta Models
Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Modeling and Model Checking Software Product Lines
Symbolic Step Encodings for Object Based Communicating State Machines
Termination Analysis of Java Bytecode
A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs
Formal Semantics for Interacting UML subsystems
Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings
Design and implementation of coordination protocols for distributed cooperating objects: A general graph-based technique applied to CORBA
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack
Synchronizing Behavioural Mismatch in Software Composition
Design and Verification of Distributed Multi-media Systems
A Formal Security Analysis of an OSA/Parlay Authentication Interface
An Extended Type System for OCL Supporting Templates and Transformations
Inheritance of Temporal Logic Properties
Proof Scores in the OTS/CafeOBJ Method
A Step Toward Automatic Distribution of Java Programs
KeY: A Formal Method for Object-Oriented Systems
Engineering the SDL Formal Language Definition
Verifying Authentication Protocol Implementations
Tracing Integration Analysis in Component-Based Formal Specifications
Generating Adapters for Concurrent Component Protocol Synchronisation
Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings
Elements of an object-based model for distributed and mobile computation
Inductive Proof Outlines for Monitors in Java
Transformation Laws for UML-RT
Distributed Applications Implemented in Maude with Parameterized Skeletons
Pattern Application vs. Inheritance in SDL
Control Flow Analysis of Mobile Ambients with Security Boundaries
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams
Modular Reasoning for Actor Specification Diagrams
Assessing Service Properties with Regard to a Requested QoS: The Service Metric (Short Paper)
The Bisimulation Proof Method: Enhancements and Open Problems
Mobile Objects "Must" Move Safely
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus
Using Relational and Behavioural Semantics in the Verification of Object Models
Model Checking of Extended OCL Constraints on UML Models in SOCLe
Components as Processes: An Exercise in Coalgebraic Modeling
Temporal Logic Based Static Analysis for Non-uniform Behaviours
Object Composition: A Case Study
KM3: A DSL for Metamodel Specification
Property-Driven Development of a Coordination Model for Distributed Simulations
A Junction between State Based and Behavioural Specification (Invited Talk)
Fail-Stop Components by Pattern Matching
Proceedings of the 1st Workshop on Multimodal Search and Recommendations (MMSR 2024) co-located with 33rd ACM International Conference on Information and Knowledge Management (CIKM 2024), Boise, United States, October 25, 2024
Smart Multi-Modal Search: Contextual Sparse and Dense Embedding Integration in Adobe Express
Designing Interfaces for Multimodal Vector Search Applications
Evaluating Cost-Accuracy Trade-offs in Multimodal Search Relevance Judgements
CBVS: A Large-Scale Chinese Image-Text Benchmark for Real-World Short Video Search Scenarios
Do We Trust What They Say or What They Do? A Multimodal User Embedding Provides Personalized Explanations
Understanding Modality Preferences in Search Clarification
An Improved Approach of Reducing Feedback for Precoded MIMO-OFDM System
Progressive Download for 3G Wireless Multicasting
The Development of a Realistic Simulation Framework with OMNeT++
A Time Domain Tracking Method for Limited-Rate Feedback Precoding in MIMO Systems
Research of Information Processing on SDH Backbone Networks
Differential Space-Time Modulation for Modified V-BLAST System
A Proposal of an Efficient Timing Recovery Algorithm for 4-ary Elliptical Phase Shift Keying
An Authentication Scheme for Personalized Mobile Multimedia Services: A Cognitive Agents Based Approach
Supporting Deadline Monotonic Policy over 802.11 MAC Layer Service Time Distribution
Experiments and Countermeasures of Security Vulnerabilities on Next Generation Network
Digital Codec Design for RFID Tag Based on Cryptographic Authentication Protocol
Representation and Comparison of Fuseki Patterns of Go-Games
Achieving Socio-technical Confidentiality Using Security Pattern in Smart Homes
Grant Model for Message Detour in Electronic Business System
Security Cryptanalysis in High-Order Improved Fast Encryption Algorithm for Multimedia
Traffic Splitting with Network Calculus for Mesh Sensor Networks
A Resource Search Model Based on Semantically Enabled P2P Grid
Spacing Based Authentication Protocol for Low-Cost RFID
Parameter Estimation of Noisy Passive Telemetry Sensor System Using Unscented Kalman Filter
Steganalysis of LSB Matching Based on Wavelet Denoising Estimation in Grayscale Image
Proposal of the e-Discovery System for Sanitizing Disclosure Information and for Securing Evidence
A Dynamic, Architectural Model of Sabina Vulgaris Growth
Collaboration in Routing and Velocity Measurement Function for Mobile Ad hoc Networks
Distributed Cooperative Dynamic Spectrum Management Schemes for Industrial Wireless Sensor Networks
A Study on the Performance of OFDM Transmission Scheme for QAM Data Symbol
Design of A Power-, Delay-, and Emergency-Efficient Protocol of Ubiquitous Sensor Network Systems for Silver Town Applications
RFID Based Object Localization System Using Ceiling Cameras with Particle Filter
A Novel Method for Performance Evaluation of Focused Ultrasonic Transducers
A Detecting Superpoint Algorithm on Multiple Sampling Technology
Activity Recognition Using Wearable Sensors for Elder Care
A Systematic Design Tool of Context Aware System for Ubiquitous Healthcare Service in a Smart Home
A MAC-Routing Integrated Protocol for Geographic Forwarding in Wireless Sensor Networks
Modeling Hierarchical Gossiping in Reliable Multicast Protocols
A Segment Strategy Based on Flooding Search in Unstructured P2P Network
Web Anomaly Detection System for Mobile Web Client
A Kernel-Based Localization Approach in Wireless Sensor Networks
Novel Gossip-Based Multicast Protocol with No Global View Information
Beacon-less Location Detection in Wireless Sensor Networks for Non-flat Terrain
A Process Algebra Approach for the Compatibility Analysis of Web Services
The Study of Location Strategy for Bank
A Performance Comparison Study of GTS Allocation Schemes in IEEE 802.15.4
Transparent IP Mobility Management
A Digit Reversal Circuit for the Variable-Length Radix-4 FFT
Linguistic Approach to Cryptographic Data Sharing
Analysis of the Performance of Iterative Estimation and Cancellation of Clipping Non-linear Distortion in OFDM
Flexible License Management Mechanism for Group Distribution
Pitch Modification of Speech Signal Using Source Filter Model by Linear Prediction for Prosodic Transformations
A Robust Optical Light-Path Establishment Scheme for Core Network Architecture of Future Internet
An Optimal Access Points Allocation Scheme Based on Genetic Algorithm
Effects of Neighbor Attachment Policies on Interference in Ad-hoc and Sensor Networks
(Color/Gray) Image in Color Cover Hiding Using Modification of Spatial Domain Hiding Method
Joint Application and Network Defense against DDoS Flooding Attacks in the Future Internet
The Application of Support Vector Machine to Operon Prediction
Score Based Biometric Template Selection and Update
Dynamic Sleeping Algorithm Based on AHP for Wireless Sensor Networks
Performance Analysis of Hybrid Fingerprint Matching Methods
A Link Signature Based DDoS Attacker Tracing Algorithm under IPv6
An Adaptive Packet Repeat Proposal RB_IR_HARQ Scheme based on LDPC code
MyEvalvid_RTP: A New Simulation Tool-set Toward More Realistic Simulation
An Auxiliary Ground Station Based Traffic Load Balancing Scheme for LEO Satellite Systems
Method of Profile Storage for Improving Recommendation Accuracy on Ubiquitous Computing
Internet Traffic and Capacity Evaluation in UMTS Downlink
Dynamic Multi-channel MAC Protocol for LR-WPAN Based on Interference Learning
Formalism of the Access Control Model Based on the Marqued Petri Nets
A Dynamic Minislot Allocation Scheme Based on IEEE 802.16 Mesh Mode
Performance Analysis of TCP over Wireless Network Using Error Model
Experimental Study on Neuronal Spike Sorting Methods
The Second International Conference on Future Generation Communication and Networking, FGCN 2008, Volume 2, Workshops, Hainan Island, China, December 13-15, 2008
A Platform for Smart Substations
Simulation Results on Hierarchical Cell Structures
Collaborative Peer-to-Peer Training and Target Classification in Wireless Sensor Networks
Handling Activity Conflicts in Reminding System for Elders with Dementia
The Moving Picture Retrieval System Using Visual Descriptors and Cut Detection
Automated Grocery Ordering Systems for Smart Home
Fast Transmission by Mobile Phone of Recognition Sign Language using a Segmented Multidecision Filter Adapted to the Parallel Virtual Machine (PVM)
GMPR: A Greedy Multi-path Routing Algorithm for Wireless Sensor Networks
A Practical Approach for Enhancing Security of EPCglobal RFID Gen2 Tag
Performance Evaluation of Alamouti STC through Amplify-Forward Cooperative Relay Network over Nakagami-m Fading Channels
Dynamic Threshold Multi-secret Sharing Scheme Using Elliptic Curve and Bilinear Maps
A Low Power Communication Circuit Design Using Selective Glitch Removal Method
Safeguard Intranet Using Embedded and Distributed Firewall System
Question Classification Based on Incremental Modified Bayes
A Comparative Study on the Performance of the RFID Tag Collision Resolution Protocols
Implementation of Energy-Efficient Node Management in Wireless Sensor Networks
Anonymous ID Signature Scheme with Provable Identity
Proposal for Air-Baggage Tracing System Based on IoT
Watermarking Using the Local Relation of Wavelet Coefficient
Design Multi-Band Microstrip Patch Antennas for Wireless Terminals
A Field Guide to Hidden Accounting Information Detection
An Algorithm to Find the Constrained Steiner Tree in Halin Networks
An Approach on Adaptive Time-Delay Estimate and Compensation Control in Internet-Based Control Systems
A QoS Oriented Network Service Architecture for Grid Applications
Performance of Adaptive Array Antenna for Multicarrier CDMA System in Slow Nakagami-m Fading Channels
The Genetic Algorithm for RNG in the Crypto Module of Ubiquitous Computing Environment
Extending the UbiMDR Supporting Situation-Aware Access Control
Routing Based Load Balancing for Unstructured P2P Networks
Study on Channel Allocation Strategy Using Time Constraints in Cellular Networks
Consistency Issue on Live Systems Forensics
Assessment and Open-Issues of the Load-Balanced Switching Architecture
Improving Disk Sector Integrity Using 3-dimension Hashing Scheme
On Network Management Solutions and the Potential of P2P Technologies
Adaptive Multi-beam Transmission of Uncompressed Video over 60GHz Wireless Systems
An Evalulation of the Pool Maintenance Overhead in Reliable Server Pooling Systems
A DMR Fair Algorithm for Realtime Scheduler
A Scalable Rate Adaptation Mechanism for IEEE 802.11e Wireless
Toward a Self-Configuration Middleware for Smart Spaces
A New Collaborative Multipath Transmission Scheme for Mobile Ad Hoc Networks
A Study on the Efficient Mutual Authentication Mechanism Using the Agent Server
Research on Grid Resource Allocation Algorithm Based on Fuzzy Clustering
Chaos Synchronization Based on Phase-Locked Loops
An Enhanced Routing Protocol for ZigBee/IEEE 802.15.4 Wireless Networks
Design of a Scalable RSA Cryptoprocessor Embedded with an Efficient MAC Unit
Personalization in Smart Homes for Disabled People
An End-to-End Content-Aware Congestion Control Approach for MPEG Video Transmission
Dimensioning of Next Generation Networks Signaling Gateway for Improving a Quality of Service Target
A Context-Sensitive Rule-Based Architecture for a Smart Building Environment
A Context-Aware System Architecture for Dealing with the Emergency by the Community Service in Apartment
Edge Detection Using Orientation-Independent Operators in Large-Scale Sensor Networks
Characteristics of Rain Attenuation Parameter for Satellite Communications at 12.25GHz
A Design and Implementation of USN-Based Mobile Web Services Framework
Tracking a Vessel by Combining Video and AIS Reports
A Multi-modal Authentication Method Based on Human Face and Palmprint
Performance of the FS MC-CDMA System with CCI Canceller Technique in Nakagami-m Fading
Revised Gaze Proximity as Context Information
The Traceback Method about DoS Attack in Open Grid Computing Environment
An Efficient Framework for Distributed Enterprise Portal for Maintaining Global Patch Consistency
Towards Automated Traffic System Using Vehicular Network with Directional Antenna
FECk: A New Efficient Clustering Algorithm for the Events Correlation Problem in Telecommunication Networks
ID Based Web Browser with P2P Property
An Algorithm for Acquiring PRN Code in DSSS System Based on Sub-sampling
Preventing Social Engineering in Ubiquitous Environment
An Improved Scheme for Delegation Based on Usage Control
Protection Routing Algorithm Based on Survivable Integrated Auxiliary Graph in Waveband Switching Optical Networks
EAGR: Energy Aware Greedy Routing in Sensor Networks
Grid Security Interoperation between CGSP and VEGA
Ambient Lamp Display in the Active Home Ubiquitous Computing Environment for Relaxing and Mediation
A Spectral Density Approach in Research of Internet Topology Properties
The Cube Theory for 2n-Periodic Binary Sequences
Longest Fault-Free Paths in Hypercubes with both Faulty Nodes and Edges
Performance Comparison of Time-Frequency Analysis Methods for Radar Signature Analysis
The Performance Improvement of License Plate Recognition System Using Composite Color and Artificial Hippocampus Algorithm
Distributed Collaborative Control Using Wireless Sensor and Actuator Networks
A Method for Determination of Key Distribution Period Using QoS Function
Lightweight Session Key Management Scheme in Sensor Networks
Design and Implementation of SDN Multicast for Distributed Shared Memory
Random Forests for Prediction of DNA-Binding Residues in Protein Sequences Using Evolutionary Information
Application of Distributed Wireless Sensor Network on Humanitarian Search and Rescue Systems
e-Gov Net Based Emergency Management Service
The Shifting Interleaver Design Based on PN Sequence for IDMA Systems
Design of Novel On-Chip Antennas with Multi-band for UWB Applications
Translator Trust for the Internet Inter-domain Routing
Dual Watermarking Method for Integrity of Medical Images
Word Sense Disambiguation Based on Bayes Model and Information Gain
Chord-Based Musical Composition and Incorporating it into Auto-Accompaniment Instrument
Node Availability-Based Congestion Control Model Using Fuzzy Logic for Computational Grid
A PKC-Based Node Revocation Scheme in Wireless Sensor Networks
A New Cross Layer Design of Adaptive Modulation and Coding in Finite Buffer Wireless Links
Diabetes Data Analysis and Prediction Model Discovery Using RapidMiner
An Empirical Study of Spam and Spam Vulnerable email Accounts
Fast Hybrid DFT/DCT Architecture for OFDM in Cognitive Radio System
Performance Analysis of the pi/4-DQPSK-OFDM System with Equalizer for the Wireless Multimedia Communication
An Interference Free Data Aggregation Protocol for Clustered Wireless Sensor Networks
Real-Time Foreground Segmentation for the Moving Camera Based on H.264 Video Coding Information
Energy-Based Target Numeration in Wireless Sensor Networks
Dynamic Call Admission Control for QoS Provisioning in Multimedia Wireless Networks
An Open Software Approach for Multimedia Services System Based on RFID
Improving CSMA for WLANs via Piggybacking and Scheduled Backoff Mechanisms
A Technique to Make a Path Table for Blocking Distributed Denial-of-Service Attacks
Discovering Methodology and Scenario to Detect Covert Database System
A Novel Fault Detection and Recovery Mechanism for Zigbee Sensor Networks
On ElGamal Signature Scheme
Typical Behavior Patterns Extraction and Anomaly Detection Algorithm Based on Accumulated Home Sensor Data
FPGA Low Power Technology Mapping for Reuse Module Design under the Time Constraint
Design on the Simulation Platform for Mobility Management in LEO Satellite Network Based on OPNET
Unobtrusive Assistant for Elders with Memory Decline
Peer-to-Peer Cooperation for Content-Oriented XML-Retrieval
The Aegis: UICC-Based Security Framework
An Optimized Strategy for Speculative Execution in a Heterogeneous Environment
The Development of Software Pricing Schemata and Its Application to Software Industry in Korea
A Proposal for Key Policy of Symmetric Encryption Application to Cyber Security of KEPCO SCADA Network
Rate Control for Zero-Forcing Beamforming Multiuser MIMO Systems with QR-Decomposition MLD Receiver
Cover Set Problem in Directional Sensor Networks
Asynchronous Cooperative Transmission Using Distributed Unitary Space-Frequency Coded OFDM in Mobile Ad Hoc Networks
Pulse Oximeter Signal Amplitudes in Different Body Parts for Wireless Solutions
A Vision: RDB-Based XML Security Models Considering Data Levels
On Designing and Verifying Smart Home Embedded Software Model Based on AADL
A New Descriptor of Slices Histogram from 3D Shape Models
A QoS Improvement for Voice over Mobile IPv4 (Mobile VoIPv4)
An Analysis of RFID Tag Authentication Protocols Using Secret Value
The Spectral Efficiency of 2 × 2 Adaptive MIMO Systems in Spatially Correlated Rayleigh Fading Channel
Generalized Partially Bent Functions
The Proposed UMA Mode in DMB CAS Authentication Process
K-Divided Bloom Filter Algorithm and Its Analysis
Survivable Routing with Risk-Level Disjoint in WDM Optical Networks
Two Security Problems of Efficient Remote Mutual Authentication and Key Agreement
Object Tracking of Mobile Robot Using Moving Color and Shape Information for the Aged Walking
Identifying Biologically Significant Pathways by Gene Set Enrichment Analysis Using Fisher's Criterion
Initial Case Analysis Using Windows Registry in Computer Forensics
SS-RBAC: Secure Query Processing Model for Semantic Sensor Networks
A New Anti-Forensic Tool Based on a Simple Data Encryption Scheme
EEG Analysis of Frontal Lobe Activities by Decision Stimuli
Multi-attribute Query Processing with Partial Information in Sensor Networks
Deriving Safety Properties for Home Network System Based on Goal-Oriented Hazard Analysis Model
Home Device Authentication Method Based on PKI
An LCoS Microdisplay for Video Conference on Wireless Network
Two New Types of Candidate Symbol Sorting Schemes for Complexity Reduction of a Sphere Decoder
Delay Model for Flooding of Service Prevention in E-Commerce System
Throughput Evaluation in UMTS
Performance Evaluation and Modeling for Korea Standard of PLC MAC