yusuke1997/dblp-id-title huggingface dataset:
ThingsMigrate: Platform-independent migration of stateful JavaScript Internet of Things applications
Effectively Exploiting Indirect Jumps
Aestetic Layout of Generalized Trees
Architecture of a multiplatform virtual campus
A Generational and Conservative Copying Collector for Hybrid Objectoriented Languages
An autonomous model for self-optimizing virtual machine selection by learning automata in cloud environment
Animation of Requirements Specifications
A generic decentralized trust management framework
The Simulation and Use of a TABLE Data Type
Towards a new approach to query search engines: the Search Tree visual language
TICL-A Type Inference System for Common Lisp
Event Associations in SNOBOL4 for Program Debugging
An On-Line Data Collection System for Film Measurement
Signalling Regions: Multiprocessing in a Shared Memory Reconsidered
P-A Timesharing Operating System for Laboratory Automation
Is the data on your wearable device secure? An Android Wear smartwatch case study
CMS-A Chunk Management System
A Micro-Kernel for Concurrency in C
A database approach for information communication in a peer-to-peer collaborative CAD environment
Evaluation of Markov Program Models in Virtual Memory Systems
Editorial: Security Software
A software modeling approach for the design and analysis of cooperative optimization systems
Files in an Interactive Environment
A Test Data Synthesizer for Telephone Company Accounting Office Processing of Call Data
A Software Process for the Construction of Predictable On-Board Embedded Real-Time Systems
DAG-A Program that Draws Directed Graphs
Compilers - Some Good, Some Bad!
The Architecture of the PLAIN Data Base Handler
Transition from national standards to Unicode: multilingual support in operating systems and programming languages
A Practical Solution for a Large Sparse Matrix
Message-sensing classified transmission scheme based on mobile edge computing in the Internet of Vehicles
A New Parsing Method for Non-LR(1) Grammars
LANSF: A Protocol Modelling Environment and its Implementation
An Evaluation of the Effectiveness of Symbolic Testing
A Java/CORBA virtual machine architecture for remote execution of optimization solvers in heterogeneous networks
Automatic form generation
Experience with Modularity in Consul
Three Solutions for a Robot Arm Controller Using Pascal-Plus, occam and Edison
A safe variant of the unsafe integer arithmetic of Java TM
A Programming Platform Design for Children to Create and Explore Hybrid Musical Instruments
Graceful Object-Based Performance Evolution
List Structures in SIMULA and PL/1-a Comparison
Resource Monitors: A Design Methodology for Operating Systems
The Syntax of User-defined Dyadic Operators
Cloud simulators in the implementation and evaluation of virtual machine placement algorithms
A Probe Effect in Concurrent Programs
Evolution@home: observations on participant choice, work unit variation and low-effort global computing
Description of Essential System Behaviour using Message-state Tables
Specifications and an Implementation of the Type-ambiguity Problem in Pascal
KubCG: A dynamic Kubernetes scheduler for heterogeneous clusters
Evolutionary deployment optimization for service-oriented clouds
AG: A Set of Maple Packages for Manipulating Automata and Semigroups
Modelling and Validating the Man-Machine Interface
Mooshak: a Web-based multi-site programming contest system
The Relationlog system prototype
Plugging in and into code bubbles: the code bubbles architecture
A Technique for Evaluation of User Systems on an IBM S/370
Selective sweeping
A MACRO Facility for Interactive Display
Assembly Language as Object Code
A List-Based Virtual Machine for COBOL
Managing infinite variability in mobile terminal software
Programs as visual, interactive documents
Automatic Generation of Make Dependencies
Rehabilitation of an unloved child: semi-splaying
Formal Validation of a High Performance Error Control Protocol using SPIN
Parsing an Extension to CODASYL FORTRAN DML
Software-in-the-loop simulation for developing and testing carbon-aware applications
A Virtual Stack Facility for Mini-computer and Microcomputer Implementation of the Finite Element Method
An Experience in Implementing Abstract Data Types
A platform for P2P agent-based collaborative applications
Approximating Pareto optimal compiler optimization sequences - a trade-off between WCET, ACET and code size
CONVERT-A Language for Program and Data File Conversions
Public Online Pool-A Method for Managing Online Direct Access Space
Fly: Femtolet-based edge-cloud framework for crop yield prediction using bidirectional long short-term memory
Improving the Output of the FORTRAN to C translator, f2c
Specification Methodology: An Integrated Relational Approach
System supports for protocol and application adaptation in vertical handoffs
Probabilistic logic programming on the web
Timing Constraint Specification and Analysis
Software Distributed Shared Memory: a VIA-based implementation and comparison of sequential consistency with home-based lazy release consistency
Rie, a Compiler Generator Based on a One-pass-type Attribute Grammar
Exploiting Persistence in Build Management
Resolving Ambiguous Identifiers
Attributed Linear Intermediate Representations for Retargetable Code Generators
Prototype-Based Collaborative Learning in UAV-Assisted Edge Computing Networks
lcc.NET: targeting the .NET Common Intermediate Language from Standard C
Linguistic security testing for text communication protocols
Parallelization of a dynamic SVD clustering algorithm and its application in information retrieval
Efficient resource management in the cloud: From simulation to experimental validation using a low-cost Raspberry Pi testbed
Continuous engineering for Industry 4.0 architectures and systems
Debugging Other Languages in APL
Experiences developing architectures for realizing thin-client diagram editing tools
Practical dynamic reconstruction of control flow graphs
Towards a Language for Concurrent Processes
Partial redundancy elimination for access path expressions
Sustainable edge computing: Challenges and future directions
An integrated implementation framework for compile-time metaprogramming
An IKBS Implementation
GDBApex: A graph-based system to enable efficient transformation of enterprise infrastructures
Collecting and publishing large multiscale geographic datasets
Software Reusability Through Versions
Iava: yet another interpreter for scripting within the Java platform
Special issue on collaborative edge computing for secure and scalable Internet of Things
A Graphical Navigator for Viewing Databases
The Lime Music Editor: a Diagram Editor Involving Complex Transformations
Integrated static code analysis and runtime verification
A new algorithm for encoding and decoding the Hilbert order
Design and implementation of the new Italian healthcare digital interoperable registry for implantable medical devices
Autonomous role discovery for collaborating agents
A novel approach for generic home emergency management and remote monitoring
On the suitability of dynamic languages for hot-reprogramming a robotics framework: a Python case study
Design and Implementation of a File System with On-the-fly Data Compression for GNU/Linux
Design profiles: toward unified tool support for design patterns and UML profiles
An Exercise in Resource Allocation
A Risk Manager for Intrusion Tolerant Systems: Enhancing HAL 9000 With New Scoring and Data Sources
Managing data replication and distribution in the fog with FReD
Interventions for long-term software security: Creating a lightweight program of assurance techniques for developers
Concurrent Programming in the Ada Language: The Polling Bias
Integrating Prolog and CADAM to Produce an Intelligent CAD System
An automated model-based testing approach for the self-adaptive behavior of the unmanned aircraft system application software
Migrating legacy scientific applications towards CORBA-based client-server architectures
Efficient linearizability checking for actor-based systems
Runtime latency detection and analysis
Performance Measurements of the X Window System Communication Protocol
Work-from-home impacts on software project: A global study on software development practices and stakeholder perceptions
An Experiment with Fortran and Pascal
Using blockchain in the follow-up of emergency situations related to events
Design, Implementation, and Evaluation of a Single-Copy Protocol Stack
A model-driven framework to enhance the consistency of logical integrity constraints: Introducing integrity regression testing
Compiler Testing using a Sentence Generator
CppyABM: An open-source agent-based modeling library to integrate C++ and Python
An enhanced role model for alleviating the role-binding anomal
The onboard software of the EUSO-SPB pathfinder experiment
Anatomy of an Educational Network Database System
Complexity Measurement of a Graphical Programming Language
A cohesion measure for object-oriented classes
Fast number parsing without fallback
Register Allocation in a Pattern Matching Code Generator
Object Management in a Persistent Smalltalk System
Tracing system-level communication in distributed systems
Toward cost-effective replica placements in cloud storage systems with QoS-awareness
Interfacing the User
Demeter: An automatic framework for data migration in open data lakes
Tool building in formal methods
Mobile-C: a mobile agent platform for mobile C/C++ agents
Decomposition tool for event-B
Arcademis: a framework for object-oriented communication middleware development
Developing UPPAAL over 15 years
Register-Based and Stack-Based Virtual Machines: Which Perform Better in JIT Compilation Scenarios?
The Application of Prolog to Structured Design
Energy allocation for activity recognition in wearable devices with kinetic energy harvesting
Using High Level Languages for Local Computer Network Communication: A Case Study in Ada
Heuristic expansion of feature mappings in evolving program families
Practical Improvements to the Construction and Destruction of Static Single Assignment Form
Compiled Instruction Set Simulation
Abnormal visual event detection based on multi-instance learning and autoregressive integrated moving average model in edge-based Smart City surveillance
Using Pascal in a Fortran Environment
Triplex: A System for Interval Arithmetic
A style for integrating MS-Windows software applications to client-server systems using Java technology
Fast dynamic casting
A Practical Algorithm for Evaluating Database Queries
Design and Implementation of a Display Oriented Text Editor
Managing asynchronous workloads in a multi-tenant microservice enterprise environment
Availability modeling in redundant OpenStack private clouds
Constructing an Integrated Visual Programming Environment
On aspectualizing component models
Ablego : a function outlining and partial inlining framework
Testing feature-rich blockchains
Floating-point Number LISP
Myriad: Design and Implementation of a Federated Database Prototype
Incorporating transitive relations in low-level design-based class cohesion measurement
AEDBAR-A Software System for Designing and Analysing Planar Bar Mechanisms
A high-performance sorting algorithm for multicore single-instruction multiple-data processors
Efficient Automated Protocol Implementation Using RTAG
Implementing LISP in a High-level Language
Burrows-Wheeler compression with variable length integer codes
Implementation of a Pascal Based Parallel Lanugage for a Mulitprocessor Computer
Healthcare software design and implementation - A project failure case
Allocation without Locking
An Implementation of Distributed Shared Memory
Joyce - A Programming Language for Distributed Systems
A Letter-oriented Perfect Hashing Scheme Based upon Sparse Table Compression
The Use of Colour in Language Syntax Analysis
A Monitor Tool for a Network Based on the Cambridge Ring
Operational Definitions for System Requirements as the Basis of Design Automation
Mutual Information and Feature Importance Gradient Boosting: Automatic byte n-gram feature reranking for Android malware detection
P M 2.5 forecasting with hybrid LSE model-based approach
Container-based data-intensive application scheduling in hybrid cloud-edge collaborative environment
A demonstration of repeatable, non-intrusive measurement of program performance and compiler optimization in Linux using IN-Tune
Experiences with building an intrusion-tolerant group communication system
Constantine : configurable static analysis tool in Eclipse
Document-centric XML workflows with fragment digital signatures
Automatic inspection of program state in an uncooperative environment
A holistic approach to model-based testing of Web service compositions
Are the smart contracts on Q&A site reliable?
Parallel 1D-FFT Computation on Constant-valence Multicomputers
PSSCC: Provably secure communication framework for crowdsourced industrial Internet of Things environments
An Approach to Automatic Display Layout Using Combinatorial Optimization Algorithms
Comparing practices for reuse in integration-oriented software product lines and large open source software projects
Verifying Abstract Data Types with SNOBOL4
Computer System Simulation in Pascal
A spark-based big data analysis framework for real-time sentiment prediction on streaming data
Event Handling in the Lego System
'My System Gives Excellent Error Messages'-Or Does It?
Near-perfect Hashing of Large Word Sets
The directed Chinese Postman Problem
Graph Drawing by Force-directed Placement
An Assessment of the MUSS Operating System
A compact index for order-preserving pattern matching
Focus section on quality software
Weakly sensitive analysis for JavaScript object-manipulating programs
Measuring Complexity in C++ Application Software
Plumb: Efficient stream processing of multi-user pipelines
Evaluation of Fortran Vector Compilers and Preprocessors
Realization of distributed system models using code generation extensions
Guidelines for Software Portability
Preprocessing Embedded Actions
Control and data acquisition software of the high-energy particle detector on board the China Seismo-Electromagnetic Satellite space mission
Comparative Performance of the AVL Tree and Three Variants of the Red-Black Tree
An In-Core Batching Standard FORTRAN Compiler for Large ICL 1900 Machine
Stress Testing of Compilers for Modula-2
IMDAC: A robust intelligent software defect prediction model via multi-objective optimization and end-to-end hybrid deep learning networks
Editorial: Discrete algorithm engineering
PTDOM: a schema-aware XML database system for MPEG-7 media descriptions
Designing Overlay Structures
Privacy preserving protocol for service aggregation in cloud computing
LEKTOR-A List-oriented, Machine-independent Programming System for Conversational Applications
Performance Analysis of Large Systems
Analyzing spatial analytics systems based on Hadoop and Spark: A user perspective
Design and Implementation of an Interactive Test Bed
Nearest-neighbor, BERT-based, scalable clone detection: A practical approach for large-scale industrial code bases
Experiences with Writing Library Software for an Attached Processor
A New Implementation Technique for Applicative Languages
Tice: A real-time language compilable using C++ compilers
Self-adjusting trees in practice for large text collections
Process program change control in a process environment
ReliaCloud-NS: A scalable web-based simulation platform for evaluating the reliability of cloud computing systems
Systematic scalability analysis for microservices granularity adaptation design decisions
Ingest - A Simple Program for Performing Distributed Relational Database Operations
Intraprogram Documentation
An Adaptive System for Dynamic Storage Allocation
Contextually Communicating Sequential Processes: A Software Engineering Environment
ARTful: A model for user-defined schedulers targeting multiple high-performance computing runtime systems
A Recovery Block Scheme for a VAX11/750 Running Unix
CWSH: The Windowing Shell of the Maryland Window System
A flexible and lightweight user-demand DRM system for multimedia contents over multiple portable device platforms
Senti-eSystem: A sentiment-based eSystem-using hybridized fuzzy and deep neural network for measuring customer satisfaction
Generative AI for Requirements Engineering: A Systematic Literature Review
File Updating Revisited
Concurrent Communication and Synchronization Mechanisms
Two Examples of Virtual Records
What makes a readable code? A causal analysis method
An efficient Hadoop-based brain tumor detection framework using big data analytic
Towards generic representation of web applications: solutions and trade-offs
Operational Machine Specification in a Functional Programming Language
An object-oriented design for graph visualization
Extending decoupled software pipeline to parallelize Java programs
Programming Divide and Conquer for a MIMD Machine
The Systematic Design of File-processing Programs
A refined decompiler to generate C code with high readability
Golden Jubilee Year of the Software Journal: Celebrating its Vision, Ground-breaking Contributions and Impact
TosKer: A synergy between TOSCA and Docker for orchestrating multicomponent applications
DDA - A Data Definition Facility for UNIX Using Awk
Constraint Lingo: towards high-level constraint programming
A Pre-processor using Rule Mask Techniques for Extended Entry Decision Tables
Tools: An Environment for Time-Shared Computing and Programming
A model-based framework for building extensible, high performance stream processing middleware and programming language for IBM InfoSphere Streams
Writing Software in ALGOL
Antivirus security: naked during updates
Supporting collaborative software development over GitHub
SNOW: An Effective Smart Contract Reentrancy Vulnerability Detection Method Based on Joint Feature Graph and Hybrid Graph Neural Network
Extending the object model to provide explicit support for crosscutting concerns
JDAS: a software development framework for multidatabases
A Second-Order Bug with Delayed Effect
A Distributed Development Environment for Embedded Software
Building high-quality software fault predictors
An efficient and secure agent code distribution service
Design and Implementation of Heterogeneous Distributed Multimedia System using Mosaic GSQL
The Use of Modula
Anomaly detection on OpenStack logs based on an improved robust principal component analysis model and its projection onto column space
A Portable Language for System Development
Top-Down Design Within a Functional Environment
Performance of Lazy Combinator Graph Reduction
OntoSuSD: Software engineering approaches integration ontology for sustainable software development
FLORA: a framework for decomposing software architecture to introduce local recovery
Lua-An Extensible Extension Language
Multi-criteria IoT resource discovery: a comparative analysis
Maintaining traceability links during object-oriented software evolution
Cost risk analysis for instance recommendation in a sustainable Cloud-cyber-physical system framework
Generic input template for cloud simulators: A case study of CloudSim
Online Adaptive Resource Management With Stability Guarantees in Collaborative Edge Environments
ALCHEMIST; A General Purpose Transformation Generator
Ripple: Reflection analysis for Android apps in incomplete information environments
Semantics to the rescue of document-based XML diff: A JATS case study
HARTEX - a safe real-time kernel for distributed computer control systems
Understanding design patterns - what is the problem?
QuantumPath: A quantum software development platform
Large scale system design aided by modelling and DES simulation: A Petri net approach
A group-oriented secure multiagent platform
Cetratus: A framework for zero downtime secure software updates in safety-critical systems
The Design and Inplementation of a Cooperative Design-view Environment for Interactive Partitioning Applications
Tabular-expression-based method for constructing metamorphic relations
Improving Energy Efficiency in Iot Edge Computing Through Dynamic Deep Q-Network Based Resource Management
Untangling the balancing and searching of balanced binary search trees
Running repeatable and controlled virtual routing experiments
Fortran 77 Portability
The application kernel approach - a novel approach for adding SMP support to uniprocessor operating systems
A Protocol for Generalized occam
Perturbing and evaluating numerical programs without recompilation - the wonglediff way
Using interpreted CompositeCalls to improve operating system services
Experimental studies on graph drawing algorithms
Intelligent technologies and applications for big data analytics
Virtual machine support for zero-loss Internet service recovery and upgrade
A Simplification of Code Tables in a One-pass PL/M Compiler
lmbench : an extensible micro-benchmark suite
Experiences in Benchmarking for the Selection of an Interactive System
Selecting a Hashing Algorithm
A High-Level Job Control Language
Towards secure Grid-enabled healthcare
Model-driven rapid prototyping with Umple
The design and implementation of the Gecko NFS Web proxy
Support for enterprise consolidation of I/O bound services
Evolutionary algorithms for the multi-objective test data generation problem
VR-Rides: An object-oriented application framework for immersive virtual reality exergames
Compacting Garbage Collection can be Fast and Simple
Serious FORTRAN-Part 2
The Construction of Information Management System Prototypes in Ada
A multi-faceted analysis of the performance variability of virtual machines
Developing a Lisp-based preprocessor for TEX documents
An aspect-oriented software architecture for code mobility
A Method for Interconnecting Heterogeneous Computer Networks
Synergies and tradeoffs in software reuse - a systematic mapping study
Experiments with a Very Fast Substring Search Algorithm
Scalable processing and autocovariance computation of big functional data
Automated industrial IoT-device integration using the OpenPnP reference architecture
Software Engineering: An Example of Misuse
Efficient embedded code generation with multiple load/store instructions
FogDEFTKube: Standards-compliant dynamic deployment of fog service containers
Mirage+: A Kernel Implementation of Distributed Shared Memory on a Network of Personal Computers
DACA: Distributed adaptive grid decision graph based clustering algorithm
Audlib: a configurable, high-fidelity application audit mechanism
An Analysis of the Loop Optimization Scores in Knuth's 'Empirical Study of FORTRAN Programs'
Design and data analytics of electronic human resource management activities through Internet of Things in an organization
The Trio Operating System
A survey on the service interoperability in cloud computing: Client-centric and provider-centric perspectives
Toward a novel engine for compiler optimization space exploration of big data workloads
Prediction of quality using ANN based on Teaching-Learning Optimization in component-based software systems
Integrated machine learning with semantic web for open government data recommendation based on cloud computing
TRINI: an adaptive load balancing strategy based on garbage collection for clustered Java systems
Problems with Determining Package Cohesion and Coupling
SEWMS: An edge-based smart wearable maintenance system in communication network
Typesetting Mathematics on Multi-Access Systems
A Byte-wise Normalization Method in Arithmetic Coding
Developing Camille, a text editor for Rodin
Profiling and controlling I/O-related memory contention in COTS heterogeneous platforms
Decision Tables in Algol 68
Converting a Class of Recursive Procedures into Non-recursive Ones
Multiprogramming and Memory Contention
Some structural measures of API usability
Training industrial end-user programmers with interactive tutorials
A Debugger for Message-based Processes
Improving the Structure of Large Pascal Programs
Post-quantum attack resilience blockchain-assisted data authentication protocol for smart healthcare system
Efficient interest-aware data dissemination in mobile opportunistic networks
Service offloading oriented edge server placement in smart farming
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties
Calendrical Calculations, II: Three Historical Calendars