yusuke1997/dblp-id-title huggingface dataset:
DDS a and SDN b in symbiosis for dynamic applications
Formal System-level Design Space Exploration
P2P logging and timestamping for XWiki
A self-adaptive ALM architecture for P2P media streaming
Kalimucho: Adaptation Platform for Mobile Applications
Improving trickle fairness: Locally-calculated redundancy constants
P2PWeb-Live: A client/server and P2P hybrid protocol for IPTV delivery
Overlay interconnection for end-user applications and wireless sensor networks in MANETs
Proceedings of the 8th international conference on New technologies in distributed systems, NOTERE '08, Lyon, France, June 23-27, 2008
Analysis of distributed multi-periodic systems to achieve consistent data matching
Network service provisioning using system-level virtualization
Privacy Enforcement of Composed Services in Cellular Networks
SAWSDL, mediation and XQUERY for web services discovery
Towards a distributed computation platform tailored for educational process discovery and analysis
Distributed Log Garbage Collector-Based Real Time Collaborative Editor for Mobile and P2P Environments
Swiss Experiment: from wireless sensor networks to e-science
A Web-service architectural perspective on Risk Management in work environments
Enabling museum's environmental monitorization based on low-cost WSNs
Original secure architecture for IoT based on SDN
CSC (Component, Service, Connector): A Platform for Self-Adaptation of Multimedia Applications
Clustering OSGI Applications Using Distributed Shared Memory
AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties
International Conference on Protocol Engineering, ICPE 2015, and International Conference on New Technologies of Distributed Systems, NTDS 2015 [CFIP (Colloque francophone sur l'ingénierie des protocoles) / NOTERE (Nouvelles Technologies de la Répartition)], Paris, France, July 22-24, 2015
Un algorithme distribué de contrôle des feux de circulation sur plusieurs intersections par un réseau de capteurs sans fil
Optimal data placement to improve data dissemination in vehicular networks
Performance Evaluation for CReaM: User-Centric Replication Model
Preserving the consistency of distributed objects with real-time transactions
Machine learning with the internet of virtual things
LH* RS P2P : a scalable distributed data structure for P2P environment
A policy-based context-aware approach for the commitment of mobile transactions
Search informed by a semiotic approach in Social Network Services
Towards Anticipatory Service Composition in Ambient Intelligence
DOC: a new multi-agent approach for DCSP resolution
Discovering protocols and organizational structures in workflows
Cloud Elasticity for Implementing an Agricultural Weather Service
Optimization of Wi-Fi access point placement in an indoor environment
An overview of localization algorithms in mobile wireless sensor networks
Adding a methodological assistant to a protocol modeling environment
Contextual service loading by dependency graph colouring
Position paper: Advances in reconfigurable distributed real time embedded systems
Content-based communication in disconnected mobile ad hoc networks
ASAP: A passive single-anchor localization technique for wireless sensor networks
Formal verification of WAHS: an autonomous and wireless P2P auction handling system
Low cost checkpoint/rollback solution for strong mobility of orchestrated Web services
Strong authentication for mobile cloud computing
Device Services for The Home
Dynamic Deployment of Collaborative Components in Service-Oriented Architectures
TTool for DIPLODOCUS: an environment for design space exploration
Enhanced LEAP authentication delay for higher immunity against DoS attack
Virtual base station election for wireless sensor networks
Optimal tester synthesis for real-time systems
The Design of a Real-Time Event Manager Component
Monte Carlo simulation with the GATE software using grid computing
Towards the ranking of important smart vehicles in VANETs - An information-centric approach
Towards a Framework for Weaving Social Networks Principles into Web Services Discovery
An automatic transformation from COSA software architecture to CORBA platform
SMC: Smart Media Compression for Edge Storage Offloading
Navigating the Visual Fog: Analyzing and Managing Visual Data from Edge to Cloud
HydraOne: An Indoor Experimental Research and Education Platform for CAVs
eSGD: Communication Efficient Distributed Deep Learning on the Edge
Adaptively Compressing IoT Data on the Resource-constrained Edge
Shimmy: Shared Memory Channels for High Performance Inter-Container Communication
Transparent Microsegmentation in Smart Home IoT Networks
ECO: Harmonizing Edge and Cloud with ML/DL Orchestration
Synthesizing Plausible Infrastructure Configurations for Evaluating Edge Computing Systems
Sharing and Caring of Data at the Edge
Toward Session Consistency for the Edge
Publish-Pay-Subscribe Protocol for Payment-driven Edge Computing
Mobile Edge Computing Platform Deployment in 4G LTE Networks: A Middlebox Approach
EdgeCons: Achieving Efficient Consensus in Edge Computing Networks
Toward Optimal Performance with Network Assisted TCP at Mobile Edge
Interactive Planning-based Cognitive Assistance on the Edge
An Edge Datastore Architecture For Latency-Critical Distributed Machine Vision Applications
MODI: Mobile Deep Inference Made Efficient by Edge Computing
Edge Computing Resource Management System: a Critical Building Block! Initiating the debate via OpenStack
DeCaf: Iterative Collaborative Processing over the Edge
Scale-out Edge Storage Systems with Embedded Storage Nodes to Get Better Availability and Cost-Efficiency At the Same Time
Exploring the Use of Synthetic Gradients for Distributed Deep Learning across Cloud and Edge Resources
Mobile Data Repositories at the Edge
The Case for Determinism on the Edge
Toward Loosely Coupled Orchestration for the LEO Satellite Edge
Secure Incentivization for Decentralized Content Delivery
SaFace: Towards Scenario-aware Face Recognition via Edge Computing System
3rd USENIX Workshop on Hot Topics in Edge Computing, HotEdge 2020, June 25-26, 2020
Towards an Architecture for Trusted Edge IoT Security Gateways
SafeShareRide: Edge-based Attack Detection in Ridesharing Services
Trustless IoT: A Logic-Driven Architecture for IoT Hubs
USENIX Workshop on Hot Topics in Edge Computing, HotEdge 2018, Boston, MA, July 10, 2018
OneOS: IoT Platform based on POSIX and Actors
Devices-as-Services: Rethinking Scalable Service Architectures for the Internet of Things
2nd USENIX Workshop on Hot Topics in Edge Computing, HotEdge 2019, Renton, WA, USA, July 9, 2019
Open Infrastructure for Edge: A Distributed Ledger Outlook
Collaborative Learning on the Edges: A Case Study on Connected Vehicles
Edge-based Transcoding for Adaptive Live Video Streaming
Distributing Deep Neural Networks with Containerized Partitions at the Edge
Towards IoT-DDoS Prevention Using Edge Computing
Throwing MUD into the FOG: Defending IoT and Fog by expanding MUD to Fog network
Benchmarking in The Dark: On the Absence of Comprehensive Edge Datasets
Modeling The Edge: Peer-to-Peer Reincarnated
Understanding and Tackling the Hidden Memory Latency for Edge-based Heterogeneous Platform
An Industrial Robot System Based on Edge Computing: An Early Experience
DataFog: Towards a Holistic Data Management Platform for the IoT Age at the Network Edge
Cost-effective Hardware Accelerator Recommendation for Edge Computing
Paying Less for More? Combo Plans for Edge-Computing Services
A Comparison of Communication Mechanisms in Vehicular Edge Computing
Shadow Puppets: Cloud-level Accurate AI Inference at the Speed and Economy of Edge
LiveMicro: An Edge Computing System for Collaborative Telepathology
Home, SafeHome: Ensuring a Safe and Reliable Home Using the Edge
SMARTER: Experiences with Cloud Native on the Edge
Store-Edge RippleStream: Versatile Infrastructure for IoT Data Transfer
An Edge-based Framework for Cooperation in Internet of Things Applications
Toward Lighter Containers for the Edge
Deduplication Analyses of Multimedia System Images
EdgeBalance: Model-Based Load Balancing for Network Edge Data Planes
Fast and Efficient Container Startup at the Edge via Dependency Scheduling
FERRET: Fall-back to LTE Microservices for Low Latency Data Access
pCAMP: Performance Comparison of Machine Learning Packages on the Edges
A Privacy-Preserving Deep Learning Approach for Face Recognition with Edge Computing
P4EC: Enabling Terabit Edge Computing in Enterprise 4G LTE
Towards a Serverless Platform for Edge AI
A program structure for error detection and recovery
Equivalence and decomposition methods with application to a model of a time-sharing virtual memory system
Analyse de quelques pannes d'un systeème d'exploitation
Software structuring: a pragmatic approach
SZIAM: A data model design aid
System cars and its description language
Espace d'adressage et espace d'exécuteion du systeème Gemau
Correctness of realizations of levels of abstraction in operating systems
Distributed computer systems: two views
Specification and Design of Software Systems, Conference on Operating Systems, Visegrad, Hungary, January 23-27, 1982, Proceedings
A simulation model representing the OS/VS2 release 2 control program
Operating Systems, Proceedings of an International Symposium held at Rocquencourt, France, April 23-25, 1974
Caractérisation fonctionelle des systèmes de fichiers
On Implementation problems of shared abstract data types
Espreso - a system for process control software specification
Program design - a practical approach
An open operating system for a single-user machine
The specification of process synchronization by path expressions
Development methodologies for event and message based application systems
Schedulers as enforces in synchronization
A new approach to avoidance of system deadlocks
Presentation of the control graph models
Evaluation sur des modèles de comportement de programme de la taille d'un ensemble de travail
A foreground- background time sharing queue with general service times
Software Development in LDM
The Edinburgh multi-access system scheduling and allocation procedures in the resident supervisor
Comparative Performance of an Enhanced Downlink SDMA based MIMO-OFDM System with a TDMA based MIMO-OFDM System
A Novel Digital Image Encryption Method based on DES
TCP Congestion Window Control on an ISCSI Read Access in a Long-Latency Environment
Evaluation Architecture for Digital Radio Mondiale Multimedia Applications
Analytical Evaluation of Nonlinear Effects in MC-CDMA Signals
EDIVER: An Efficient Distance Vector Routing Algorithm for Wireless Sensor Networks
Comparative Analysis of Audio Coders and Packet-Loss Recovery
Mechanisms for Stateless Service Differentiation in Best-Effort Networks
Performance Evaluation of Combined Buffering and Deflection Routing in Hierarchical Ring Interconnection Networks
Usage Behavior Profiling for Anomaly Detection using Vector Quantization
Performances of Two Error-Detection Algorithms in Wireless Channels
Novel Routing Algorithm using Scale-Free Internet Topology
Analysis of Probability Density Function based Adaptive Modulation Techniques in Non-Cooperative Communication Environment
Outage Probability with Maximal Ratio Combining and Switch-and-Stay Diversity
The Design and Implementation of High Performance Synchronization Server for Mobile Applications on Education
An Artificial Intelligent CAC Scheme for Self-Similar Traffic using Fuzzy Case based Reasoning
Hierarchical Inter-Domain Management for Networks with Condo-Switches
Robust LS Channel Estimation with Phase Rotation for OFDM
The IASTED International Conference on Communication Systems and Applications, Banff, Alberta, Canada, July 19-21, 2005
Privacy Management Mechanism for Location based Application with High Performance
Two-Level Data Broadcast Scheme for Remote Advertisement Broadcast System
Throughput Analysis of IP Data Transmission over Terrestrial ATSC DTV Channels
Modelling Clustered Peer-to-Peer Networks
Autonomic Location Detection Strategies for Ubiquitous Environment
SIC and PIC Multiuser Detection for Prefix-Assisted DS-CDMA Systems
Performance Evaluation of Active Networks through Different Network Models
Antenna Switch Diversity for MIMO Channel and Wireless Communications
OFDM Transmission Resource Optimization in HMM-Fading Wireless Channels
An Inter-Bit Correlation 2D Rake Receiver for DS-CDMA Communication System
Site Multihoming and Provider-Independent Addressing using IPv6
UMTS Rate Matching Optimization
Performance Evaluation of a Load Balancing Scheme in MPLS Network
A Pre-Averaging Method to Calculate SEP for MRC Reception of Rectangular M-QAM Signals in Rayleigh Fading Channels with Mixed Powers
Efficient and Robust Multiuser Decision-Delay Selection Scheme in the MIMO TDMA System
A Novel Mobile Routing System for IPv6
Korean User Attitude for Adoption of Portable Internet Services
Multicarrier Modulation with the Discrete Cosine Transform
Health care information systems: a personal historic review
Proceedings of the ACM Conference on History of Medical Informatics, Bethesda, Maryland, USA, November 5-6, 1987
How DENDRAL was conceived and born
History of the development of medical information systems at the Laboratory of Computer Science at Massachusetts General Hospital
Planting the seeds
Artificial intelligence in medicine: a personal retrospective on its emergence and early function
History of the TDS medical information system
Patient management systems: the early years
The LINC was early and small
Recollections on the processing of biomedical signals
The UCLA Brain Research Institute data processing laboratory
An historical perspective on clinical laboratory information systems
The history of the use of computers in the interpretation of radiological images
Medical informatics: a personal view of sowing the seeds
The background of INTERNIST I and QMR
The perception of system and the reduction of uncertainty
In praise of computing
Invited Talk: Deductive Verification of Distributed Protocols in Decidable Logics
Selected Papers from the Workshops on Disproving, D@IJCAR 2004, and the Second International Workshop on Pragmatics of Decision Procedures, PDPAR@IJCAR 2004, Cork, Ireland, July 2004
Automating the Verification of Floating-Point Algorithms
Dolmen: A Validator for SMT-LIB and Much More
Automatic Verification of SMT Rewrites in Isabelle/HOL
Invited Talk: Solving String Constraints, Starting from the Beginning and from the End
Abstract: The Extended Theory of Trees and Algebraic (Co)datatypes
Instantiation and Pretending to be an SMT Solver with Vampire
Reconstruction of SMT Proofs with Lambdapi
Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), Montreal, Canada, July, 22-23, 2024
Protocol Log Analysis with Constraint Programming
Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), Haifa, Israel, August 11-12, 2022
Smt-Switch: A Solver-agnostic C++ API for SMT Solving
Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), Online (initially located in Los Angeles, USA), July 18-19, 2021
An Empirical Evaluation of SAT Solvers on Bit-vector Problems
raSAT: SMT for Polynomial Inequality
Solving Constraints over Bit-Vectors with SAT-based Model Checking
Bayesian Optimisation of Solver Parameters in CBMC
Reasoning About Set Comprehensions
An SMT theory for N-Indexed Sequences
User-Propagators for Custom Theories in SMT Solving
Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality
CDSAT for Nondisjoint Theories with Shared Predicates: Arrays With Abstract Length
A Bit-vector to Integer Translation with bv2nat and nat2bv
Abstract: SMT-Friendly Formalization of the Solidity Memory Model
Real Behavior of Floating Point
Speeding Up SMT-Based Quantitative Program Analysis
Abstract: Challenges and Solutions for Higher-Order SMT Proofs
Minimal Logic Detection and Exporting SMTLIB Problems with Dolmen
Invited Talk: Local Search for Bit-Precise Reasoning and Beyond
Trail Saving in SMT
Arrays Reasoning in MCSat
A Simple Proof Format for SMT
Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy, July, 5-6, 2023
Exploiting Strict Constraints in the Cylindrical Algebraic Covering
Extending SMT-LIB v2 with λ-Terms and Polymorphism
AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDiff
Verifying Models with Dolmen
Characteristic Subsets of SMT-LIB Benchmarks
Lifting Congruence Closure with Free Variables to λ-free Higher-order Logic via SAT Encoding
An MCSAT treatment of Bit-Vectors
An SMT-LIB Theory of Finite Fields
The VMT-LIB Language and Tools
Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Online (initially located in Paris, France), July 5-6, 2020
Automated Analysis of Halo2 Circuits
First-Order Instantiation using Discriminating Terms
Further Steps Down The Wrong Path: Improving the Bit-Blasting of Multiplication
Challenges in Bit-Vector Reasoning
Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005
Invited Talk: AVR: Word-Level Verification by Equality Abstraction of Data State
Leveraging Linear and Mixed Integer Programming for SMT
Application of SMT in a Meta-Compiler: A Logic DSL for Specifying Type Systems
Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, SMT 2014, affiliated with the 26th International Conference on Computer Aided Verification (CAV 2014), the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), and the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014), Vienna, Austria, July 17-18, 2014
An SMT-LIB Theory of Heaps
Proceedings of the 5th International Workshop on Satisfiability Modulo Theories, SMT@CAV 2007, Berlin, Germany, July 1-2, 2007
Abstract: MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers
Complete Trigger Selection in Satisfiability Modulo First-Order Theories
Invited Talk: Using SMT and Abstraction-Refinement for Neural Network Verification
CSB: A Counting and Sampling Tool for Bit-vectors
Invited Talk: Harnessing SMT Solvers for Verifying Low Level Programs
Selecting Quantifiers for Instantiation in SMT
SMT Nonlinear Real Arithmetic and Computer Algebra: a Dialogue of the Deaf?
Combined Proceedings of the Fourth Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006) and the First International Workshop on Probabilistic Automata and Logics (PaUL 2006), Parts of FloC 2006, Seattle, WA, USA, August 2006
Invited Talk: SAT and SMT Solving at Cloud Scale
Quantifier Instantiation Beyond E-Matching
An SMT Approach for Solving Polynomials over Finite Fields
LibPoly: A Library for Reasoning about Polynomials
Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22 - 23, 2017
Better Answers to Real Questions
Invited Talk: The Hows and Whys of Higher-Order SMT
Abstract: Towards an SMT-LIB Theory of Heap
Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers
On Satisfiability of Polynomial Equations over Large Prime Fields
Abstract: Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant
SMT: Where do we go from here?
Visualising SMT-Based Parallel Constraint Solving
Abstract: BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers
Goose: A Meta-Solver for Deep Neural Network Verification
Model-Based API Testing for SMT Solvers
Structural Bit-vector Model Counting
Networking-Oriented Information Systems Engineering
The Inforamtion and Communication System of the City of Unna. A Hierarchical Client-Server network Architecture as one Module of the Information and Communication System in the Unna Municipal Administration
Systems Engineering as Modelling Process
Amsterdam: Red Lights, Big City, (Re)designing the Business
Modelling, Implementation and Validation of a Consultation System for Citizens
Autopoiesis as a Conceptual Framework for Information Systems Engineering
Knowledge Base Processing in the Planning Administration
Systems Engineering in Public Administration, Proceedings of the IFIP TC8/WG8.5 Working Conference on Systems Engineering in Public Administration, Lüneburg, Germany, 3-5 March, 1993
Model-Based Construction and Implementation-Oriented Evaluation of Complex Systems
Intelligent Modeling of Decision-Making Process in Information Systems
CSCW in Public Administration: A Review
Alternative Route Graphs in Road Networks
Multi-channel Assignment for Communication in Radio Networks
Distributed Decision Problems: The Locality Angle
The Mathematics of Mobility
Speed Scaling to Manage Temperature
Go with the Flow: The Direction-Based Fréchet Distance of Polygonal Curves
A Scenario-Based Approach for Robust Linear Optimization
A Comparison of Three Algorithms for Approximating the Distance Distribution in Real-World Graphs
Computing Strongly Connected Components in the Streaming Model
An Approximative Criterion for the Potential of Energetic Reasoning
L (2, 1)-Labeling of Unigraphs - (Extended Abstract)
Exploiting Bounded Signal Flow for Graph Orientation Based on Cause-Effect Pairs
Exact Algorithms for Intervalizing Colored Graphs
Theory and Practice of Algorithms in (Computer) Systems - First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
Conflict Propagation and Component Recursion for Canonical Labeling
Algorithms for Scheduling with Power Control in Wireless Networks
MIP Formulations for Flowshop Scheduling with Limited Buffers
Managing Power Heterogeneity
Robust Line Planning in Case of Multiple Pools and Disruptions
Improved Approximation Algorithms for the Max-Edge Coloring Problem
Speed Scaling for Energy and Performance with Instantaneous Parallelism
3-hitting set on Bounded Degree Hypergraphs: Upper and Lower Bounds on the Kernel Size
Energy-Efficient Due Date Scheduling
On Greedy and Submodular Matrices
New Bounds for Old Algorithms: On the Average-Case Behavior of Classic Single-Source Shortest-Paths Approaches
Cascaded Sliding-Window-Based Relativistic GAN Fusion for Perceptual and Consistent Video Super-Resolution
Hexagon of Intelligence
FCGA-Former: A Hybrid Factor Space Classification Model for Predicting the Tumor Mutation Burden of Lung Adenocarcinoma
Knowledge Learning Without Forgetting for the Detection of Alzheimer's Disease
SR-YOLO: Small Objects Detection Based on Super Resolution
From Texts to Classification Knowledge
Deep Complex Convolutional Neural Networks for Remote Sensing Image Classification
Intelligence Science V - 6th IFIP TC 12 International Conference, ICIS 2024, Nanjing, China, October 25-28, 2024, Proceedings
Intelligence Science IV - 5th IFIP TC 12 International Conference, ICIS 2022, Xi'an, China, October 28-31, 2022, Proceedings
CA-ConvNeXt: Coordinate Attention on ConvNeXt for Early Alzheimer's Disease Classification
Fast Node Selection of Networked Radar Based on Transfer Reinforcement Learning
Deep Neural Network Based Relocalization of Mobile Robot in Visual SLAM
Gaussian Balanced Sampling for End-to-End Pedestrian Detector
Research on Object Detection for Intelligent Sensing of Navigation Mark in Yangtze River
Data Augmentation Method on Pine Wilt Disease Recognition
Weakly Supervised Liver Tumor Segmentation Based on Anchor Box and Adversarial Complementary Learning
PolSF: PolSAR Image Datasets on San Francisco
Relay-UNet: Reduce Semantic Gap for Glomerular Image Segmentation
YOLO-Head: An Input Adaptive Neural Network Preprocessor