yusuke1997/dblp-id-title huggingface dataset:
Enhancing SCORM through creating a reusable JAVA class repository
Human microservices: A framework for turning humans into service providers
enCloud: Aspect-oriented trusted service migration on SGX-enabled cloud VM
Optimizing checkpoint-based fault-tolerance in distributed stream processing systems: Theory to practice
Style Control in the Quill Document Editing Systems
The real inventor of the monitor concept: A short note to correct the SP&E paper entitled An enhanced thread synchronization mechanism for Java
Deriving Workloads for Performance Testing
Event-sourced, observable software architectures: An experience report
Performance of hardcoded finite automata
The Function of T and NIL in LISP
The Design of an Inter-task Communication Scheme
Implementation of a Declarative State-transition System
Static analysis and process model transformation for an advanced business process to Petri net mapping
Cheap Concurrent Programming
Maintaining Program Variants by Merging Editor Scripts
A decade of research in fog computing: Relevance, challenges, and future directions
Bibliographic records editor in XML native environment
Cosim-Gres: Towards Similarity Queries Optimization Inside RDBMS
Implementing Atomic Sequences on Uniprocessors Using Rollforward
The SUPERMAC Macro Processor in Pascal
An introduction to the NASA Shuttle ground operations simulator (SGOS)
hMod: A software framework for assembling highly detailed heuristics algorithms
A software methodology for applied research: eXtreme Researching
A Campus Network Based on ICL 2900 Series Protocol
An Interactive Assembly Level Debugging System
Design pattern based model transformation with tool support
A Pattern Matching System
Development of a second-screen system for sharing virtual reality information
An Installable Version Control File System for UNIX
SafeType: detecting type violations for type-basedalias analysis of C
Software system to predict the infection in COVID-19 patients using deep learning and web of things
A Unified Theory for Software Production
A Visual Syntax-Directed Editor for the Descartes Specification Language
Feature location enhancement based on source code augmentation with synonyms of terms
Fast graph-based instruction selection for multi-output instructions
The Implementation of Newsqueak
A visual language-based system for extraction-transformation-loading development
Virtualized HPC: a contradiction in terms?
A TACOMA retrospective
Converting Help Systems to Hypertext
Pictures that Play: Design Notations for Real-time and Distributed Systems
A Language Independent Error Recovery Method for LL(1) Parsers
Developing a software toolkit for urban traffic modeling
A dynamic stochastic model for automatic grammar-based test generation
Exploiting the Least Recently Used Page Replacement Algorithm
Fast string matching for multiple searches
An experimental study on the applicability of SYN cookies to networked constrained devices
Visual programming support for graph-oriented parallel/distributed processing
PENDANT-A Computerized Support to Program Modularity under Limited Memory Conditions
A Meta-Reinforcement Learning Framework Using Deep Q-Networks and GCNs for Graph Cluster Representation
Experience Compiling Fortran to Program Dependence Graphs
The Solo Operating System: Job Interface
Garbage Collection Alternatives for Icon
Andra: The Document Preparation System of the Personal Workstation Lilith
A Note on Space Filling Curves
The Real-Time Debugging Monitor for the Bell System 1A Processor
An ensemble CPU load prediction algorithm using a Bayesian information criterion and smooth filters in a cloud computing environment
Experiment on and analysis of mobile content transformation using XSLT
A first look at blockchain-based decentralized applications
Message Passing Communication Versus Procedure Call Communication
Lessons learned becoming a framework developer
New Techniques for COBOL Programmers
Software Metric Based Impact Analysis of Code Smells - A Large Scale Empirical Study
A Transportable Extendable Compiler
Some Aspects of Concurrent Programmming in CCNPASCAL
The GridSite Web/Grid security system
Linguistic Extension of Abstract Machine Modelling to Aid Software Development
Dynamic policy-driven quality of service in service-oriented information management systems
Producing Good Code for the Case Statement
Stringlish: improved English string searching in binary files
OmniCon: a Mobile IP-based vertical handoff system for wireless LAN and GPRS links
Use and Misuse of SPSS
A Planar Graph Drawing Program
A review of awareness in distributed collaborative software engineering
High-performance benchmarking with Web Polygraph
Towards an architecture for deploying elastic services in the cloud
Introducing QoS awareness in distributed programming: QTcl
The UNIX/TM Programming Environment
Experimenting with Dynamic Linking with Ada
NFVLearn: A multi-resource, long short-term memory-based virtual network function resource usage prediction architecture
Source model analysis using the JJTraveler visitor combinator framework
Non-intrusive object introspection in C++
PIT: A Macro-implemented Implementation Language
UML design pattern metamodel-level constraints for the maintenance of software evolution
Network traffic prediction method based on echo state network with adaptive reservoir
A Graphical Pascal Extension Based on Graphical Types
Modular composition of multiple applications with architectural event modules
Dual-grained representation for hand, foot, and mouth disease prediction within public health cyber-physical systems
A Poor Man's Realization of Attribute Grammars
A survey on energy-efficient workflow scheduling algorithms in cloud computing
Distribution and persistence as aspects
Solving longest common subsequence and related problems on graphical processing units
Balancing performance and comfort in virtual reality: A study of FPS, latency, and batch values
The Design of a PASCAL Compiler
Constraint-aware and multi-objective optimization for micro-service composition in mobile edge computing
Automatic review identification on the web using pattern recognition
Towards cloud-based unobtrusive monitoring in remote multi-vendor environments
A Lift Simulation Prototype
Development and evaluation of a system enhancing Second Life to support synchronous role-based collaborative learning
Deep locality-sensitive discriminative dictionary learning for semantic video analysis
The X Window System, Version 11
Software design pattern selection approaches: A systematic literature review
Full-screen Editing in a Hostile Environment
Automation of application-level caching in a seamless way
Enterprise frameworks: issues and research directions
Dynamic Analysis of COBOL Programs
The Design and Implementation of the NAG Master Library File System
Feature-based approach to object-oriented engineering of applications for reuse
A Program Design Language Based Software Maintenance Tool
Integration of Cloud, Internet of Things, and Big Data Analytics
Wireless GINI: an educational platform for hosting virtual wireless networks
From broadcast television to Internet audio/video: techniques and tools for VCR-style interactivity
An edge-assisted federated contrastive learning method with local intrinsic dimensionality in noisy label environment
Efficient lock-step synchronization in task-parallel languages
A low-cost real-time face tracking system for ITSs and SDASs
Managing Information in a Co-Operative Object Database System
Parallel computation of the reachability graph of petri net models with semantic information
Strings and the Sequence Abstraction in Pascal
Garbage Collection of Strings and Linked Data Structured in Real Time
Application of Accounting Data in Evaluating Computer System Performance
Mapping of bibliographical standards into XML
Self-adaptation of service level in distributed systems
Polymorphic Programming II. An Orthogonal Tagged High Level Architecture Abstract Machine
Jointgraph: A DAG-based efficient consensus algorithm for consortium blockchains
Parallel Computing with the Sisal Applicative Language: Programmability and Performance Issues
Using Procedural Parameters and Continuations in Combinatorial Searches
Object-oriented Specification of User Interfaces
Reusability affecting factors and software metrics for reusability: A systematic literature review
Alias burying: Unique variables without destructive reads
Similarity searching in the CORDIS text database
DESP-C++: a discrete-event simulation package for C++
The Software Engineering of a Microcomputer Application System
Breaking Paragraphs into Lines
Server configuration optimization in mobile edge computing: A cost-performance tradeoff perspective
Graphlet: design and implementation of a graph editor
Fast and effective soft links
A complexity measure for UML component-based system specification
Software reuse analytics using integrated random forest and gradient boosting machine learning algorithm
Logicon: An Integration of Prolog into Icon
The impact of requirements changes on specifications and state machines
A robust reconfiguration protocol for the dynamic update of component-based software systems
Function call interception techniques
Lattice Structure Segmentation of ALGOL-like Programs
A fast and compact elimination method of empty elements from a double-array structure
OPTIMA-A Portable PCODE Optimizer
On the Power of Traps and Diversions in a Document Preparation Language
High-speed parallel implementations of the rainbow method based on perfect tables in a heterogeneous system
A Coroutine Mechanism for BCPL
Automated Software Management Based on Structural Models
A continuation-based task programming model for C++: design of the Causeway library
Model-based assisted migration of oracle forms applications: The overall process in an industrial setting
Large AI Models and Their Applications: Classification, Limitations, and Potential Solutions
Mechanisms for secure modular programming in Java
Heedless programming: ignoring detectable error is a widespread hazard
Should if...then...else... Follow the Dodo?
Validation of GCC optimizers through trace generation
A Session Editor with Incremental Execution Functions
Scopira: an open source C++ framework for biomedical data analysis applications
Design and Implementation of the Wisconsin Storage System
Mobolic: An automated approach to exercising mobile application GUIs using symbiosis of online testing technique and customated input generation
REDOM: An OO Language to Define and On-Line Manipulate Regulations in the Resource (Re)Scheduling Problem
The LTAP trigger gateway for LDAP directories
Self-tuning caching: the Universal Caching algorithm
An Efficient and Flexible C++ Library for Concurrent Programming
Interacting with the FIELD environment
Lessons learned from automating tests for an operations support system
Agile product line engineering - a systematic literature review
Design and implementation of an efficient hybrid dynamic and static typing language
Implementing a generic component-based framework for telecontrol applications
Modeling Big data-based systems through ontological trading
Experience with the architectural design of a modest product family
A static analyzer for finding dynamic programming errors
Java based replicated server objects and their remote method invocations in a distributed environment
Binary rewriting and call interception for efficient runtime protection against buffer overflows
Decomposition of UML activity diagrams
Toward a progress indicator for program compilation
Container-based cluster orchestration systems: A taxonomy and future directions
QoS-aware resource scheduling using whale optimization algorithm for microservice applications
Design and implementation of an adaptive Web2.0 QoS-based home appliance control service platform
An Equivalence Class Algorithm for Drawing Autostereograms
Distributing and Revoking Access Authorizations on Abstract Objects: A Capability Approach
A retrospective on CZT
Experience of Transporting and Using the SOLO Operating system
Tools to Aid in Discovering Parallelism and Localizing Arithmetic in Fortran Programs
Implementation of a Graphics and Test Output Retrieval System
A Fast Approximation to the Sine Function
Programming Aids for the Teaching of Programming
Fast, frequency-based, integrated register allocation and instruction scheduling
MMLT: A mutual multilevel trust framework based on trusted third parties in multicloud environments
Advanced discovery mechanisms in model repositories
Dynamic Data Structure Mapping
Automating the analysis of design component contracts
Exploring the Impacts of Antipatterns on Object-Oriented, Service-Oriented, and Mobile-Oriented Systems
iDARE - a reference architecture for integrated software environments
Technology beats algorithms (in exact string matching)
Adaptive secure software architecture for electronic commerce
A Simple Equation Solver and its Application to Financial Modelling
A Reliable Stable Storage System for UNIX
User allocation-aware edge cloud placement in mobile edge computing
Implementation of a Portable Screen Manager
Query expansion based on statistical learning from code changes
A heuristic approach to selecting views for materialization
Migration of DCE applications into CORBA and SOAP environments
The Design and Implementation of a Version Server for Computer-aided Design
Field experience with obfuscating million-user iOS apps in large enterprise mobile development
On the Design of a Special-purpose Scientific Programming Language
Perils of opportunistically reusing software module
A Procedural Interface for Program Directing
Formatted Syntaxes and Modula
All about activity injection: Threats, semantics, detection, and defense
Cross: A generic framework for system integration and its adaption in hospitals
Loop scheduling with memory access reduction subject to register constraints for DSP applications
Investigating the use of analysis contracts to improve the testability of object-oriented code
A Measurement-based Study of Hardware Support for Object Invocation
Storage Management for an Implementation of SNOBOL4
The Pascal Graphics System
Sharing experiments using open-source software
Developing Ada Programs Using the Vienna Development Method (VDA)
MetaSockets: design and operation of runtime reconfigurable communication services
Integrating program analyses with programmer productivity tools
EFFORT: Energy efficient framework for offload communication in mobile cloud computing
alto: a link-time optimizer for the Compaq Alpha
Formal Verification of Safety-critical Systems
A Microprogrammed P-CODE Interpreter for the Data General Eclipse S/130 Minicomputer
Experience Using the C Preprocessor to Implement CCR, Monitor, and CSP Preprocessors for SR
Parallel Algorithm Design for Workstation Clusters
A case study on business process recovery using an e-government system
Reusing web contents: a DOM approach
Domain Architecture and the ICL 2900 Series
Efficient and retargetable SIMD translation in a dynamic binary translator
Comments on an Error-recovery Scheme by Hartmann
Mkscan - A Interactive Scanner Generator
Validating feature-based specifications
Extensions to the C Programming Language for Enhanced Fault Detection
Static slicing in Unix process environment
AVOCLOUDY: a simulator of volunteer clouds
Serious FORTRAN
An Operating System Independent WORM Archival System
The implementation of generic smart pointers for advanced defensive programming
Assessing the impact of Volatile Functionality removal in web applications: Model-Driven vs Code-Based approaches
A framework for table driven testing of Java classes
Integrated implementation of dynamic untyped object-based operator overloading
Software patterns catalog based on a new classification scheme
Portability in MAC protocol and transceiver software implementations for LR-WPAN platforms
DesignScrum-An agility educational resource powered by creativity
Editorial: Experiences with Auto-adaptive and Reconfigurable Systems (System Level Adaptation)
A feedback technique for unsatisfiable UML/OCL class diagrams
Reducing the overhead of dynamic compilation
Model-centric software architecture reconstruction
Aggregating data center measurements for availability analysis
Common subgraph isomorphism detection by backtracking search
A cloud-based integration platform for enterprise application integration: A Model-Driven Engineering approach
Automatic Verification of Properties in Transition Systems
Testing a Multiprogramming System
Making service continuity smarter with artificial intelligence: An approach and its evaluation
Error-checking Compilers and Portability
Constraint-based human resource allocation in software projects
A Simple Interactive Graphics Facility
Practically efficient array initialization
Unit of measurement libraries, their popularity and suitability
A Communicating Sequential Process Language and Implementation
High-level Management of Computation History for the Design and Implementation of a Prolog System
Integrating Distributed Array Processing into EMAS 2900
Experience with an extensible workspace for analysis of low-level usage data
The X11 Inter-Client Communication Conventions Manual
NVMRA: utilizing NVM to improve the random write operations for NAND-flash-based mobile devices
A practical use of model checking for synthesis: generating a dam controller for flood management
An open framework for translating portable applications into operating system-specific wireless sensor networks applications
Parsing Ambiguous Addresses for Electronic Services
Software Transferability: A Practical Approach
A telematics service discovery platform using the distributed peer-to-peer networking system
A LISP Implementation of the Model for 'Communicating Sequential Processes'
Seperate Compilation in a Modula-2 Compiler
Practical static analysis of context leaks in Android applications
Operating-system Enhancements for a Fault-tolerant Dual-processor Structure for the Control of an Industrial Process
An efficient deletion method for a minimal prefix double array
The effect of multiple reference characters on detecting matches in string-searching algorithms
A taxonomy of variability realization techniques
A Note on Macro Generation
On Implicit Data Structures for Priority Queues
Signatures: A Language Extension for Improving Type Abstraction and Subtype Polymorphism in C++
Using Ginkgo's memory accessor for improving the accuracy of memory-bound low precision BLAS
A Comparison of Programming Languages for Software Engineering
Processing Variable Length Abbreviations: Some Observations
Dereferee: instrumenting C++ pointers with meaningful runtime diagnostics
An Implementation of Using Remote Memory to Checkpoint Processes
A new implementation of the Icon language
Implementing Strings in Pascal
Using XQuery for problem solving
A Display Package for CAD of Control Systems
Extending the Power of Pascal's External Procedure Mechanism
Visual Language for Use Case Description
Awk-A Pattern Scanning and Processing Language
Implementing a Scaler C Compiler on the Cyber 205
New adaptive compressors for natural language text
Data interplay: A model to optimize data usage in the Internet of Things
Message Passing Between Sequential Processes: the Reply Primitive and the Administrator Concept
Problems with the Language Modula-2
Dynamic Strings in Fortran 90
A softerware monitor for shared-memory multiprocessor computers
A Scheme for Little Languages in Interactive Graphics
Modeling the correlation between the workload and the power consumed by a server using stochastic and non-parametric approaches
Gathering Run-Time Statistics Without Black Magic
Extension of Pascal by Coroutines and its Application to Quasi-parallel Programming and Simulation
Tuning the Boyer-Moore-Horspool String Searching Algorithm
Software for an Air Pollution Measuring System: an Application of Modula
A Cached WORM File System
A Multimedia Presentation Toolkit for the World Wide Web
Edge intelligence based digital twins for internet of autonomous unmanned vehicles
The Disign and Implementation of the Lout Document Formatting Language
Post golden jubilee year of the software journal: New research trends and strengthening advisory editorial team
A web application for reasoning on probabilistic description logics knowledge bases
ANTLRWorks: an ANTLR grammar development environment
Aspect-oriented programming and pluggable software units: a comparison based on design patterns
Implementation of a CORAL66 Programming Envieronment
BIOMAC: Block Structured Programming Using PDB-11 Assembler Language
External Relationships of Objects
Bandwidth-aware divisible task scheduling for cloud computing
The human in model-driven engineering loop: A case study on integrating handwritten code in model-driven engineering repositories
SLP: A Paged Processor for Compact Lists
Multiple Stack Performance Near Saturation
Minimizing development and maintenance costs in supporting persistently optimized BLAS
Three practical workflow schedulers for easy maximum parallelism
Assuring the model evolution of protocol software specifications by regression testing process improvement
An Experimental Study of Relative Throughput in a Multiprocessor Computer System
A Heap-based Implementation of the Programming Language Pascal
Transportable Package Software
A Software Tool for the Construction and Maintenance of Structured Analysis Notation
Implementing Prototype Testing Tools
Tools for Implementing Network Protocols
Flexible service consolidation with nested virtualization and library operating systems
Providing high-level self-adaptive abstractions for stream parallelism on multicores
Organizations' readiness for insider attacks: A process-oriented approach
Dynamic Program Building
Comparative Analysis of Asynchronous I/O in Multithreaded UNIX
Quick Compilers Using Peephole Optimization
JGAP: a Java-based graph algorithms platform
Middleware support for distributed multimedia and collaborative computing
Vc: A C++ library for explicit vectorization
Communicating between the kernel and user-space in Linux using Netlink sockets
SCARS: Suturing wounds due to conflicts between non-functional requirements in autonomous and robotic systems
David Barron: a life in software, 1935-2012
Programming by Successive Refinement of Data Abstractions
Role-play virtual worlds for teaching object-oriented design: the ViRPlay development experience
An empirical study of Java bytecode programs
Word-based Text Compression
Benchmarking a Multi-access System
Temporal vertical profiling
An energy-aware resource provisioning scheme for real-time applications in a cloud data center
Success and Failure Analysis of a Problem Solving System Implementation
NoCodeGPT: A No-Code Interface for Building Web Apps With Language Models
Caterpillar: A business process execution engine on the Ethereum blockchain
Analytics-as-a-service in a multi-cloud environment through semantically-enabled hierarchical data processing
CSP-i: An Implementation of Communicating Sequential Processes
Branch elimination by condition merging
Generative Artificial Intelligence for Software Engineering - A Research Agenda
Rapid Location of Mount Points
Gesture Formalization for Multitouch
A programming language for service-oriented computing with mobile agents
On Efficiency and Optimization of C++ Programs
PARCIV: Recognizing physical activities having complex interclass variations using semantic data of smartphone
Specification and Standardization of a Java Trusted Computing API
Autonomic configuration and recovery in a mobile agent-based distributed event monitoring system
Case Study: Using ITS Style Tools to Implement IBM's CUA-2 User Interface Style
An Improved Protocol Reachability Analysis Technique
A Case Study Comparison of Four Declarative Programming Languages
Toward a readiness model for secure software coding
Exception Handling-A Static Approach
A LIS Compiler for GCOS-7
DiaSim: a simulator for pervasive computing applications
A Fundamental Approach to Debugging
The 'Completeness' of the Pascal Test Suite
Perspectives on Optimistically Replicated, Peer-to-Peer Filing
Two Examples of Block Structuring
Steady-State Compilers
Generalization of the Sethi-Ullman Algorithm for Register Allocation
A Rule-Based Extension to the C++ Language