yusuke1997/dblp-id-title huggingface dataset:
Air Quality System in Smart City: Systematic Literature Review
Social media influence analysis Techniques Systematic Literature Review
ViolationPredictor: a Solution for Predicting SLA Violations of IoT Applications
Towards an AI-Based Approach for Adaptive Emission Control and Sensor Diagnostics: A gasoline engine case study
Towards Bidirectional Conversion between Arabic Sign Language and Speech/Text
Fog and Edge Service Migration Approaches based on Machine Learning Techniques : A Short Survey
Runtime verification of distributed algorithms using high-level Petri nets
A persuasive system to improve physical activities of older adults
Detection of cyberbullying in Arabic social media using dynamic graph neural network
Towards a Blockchain-based approach to fight drugs counterfeit
From CA-BRS to BPMN: Formal Approach for Modeling Adaptive Security in Cyber-Physical Systems
Automatic evaluation of existing plagiarism detection tools
Mitigation of Popularity Bias in Recommendation Systems
Fuzzy Logic for Emergence Verification
Optimizing network slice placement using Deep Reinforcement Learning (DRL) on a real platform operated by Open Source MANO (OSM)
An Integrated Approach to Formal Analyze Cyber Physical Systems
Testing Timed Systems Using Determinization Techniques for One-Clock Timed Automata
A survey on event log extraction from blockchain
Locating Loop Errors in Programs: A Scalable and Expressive Approach using LocFaults
A deployment approach for Smart Building applications
Modélisation et analyse des systèmes cyber-physiques cas du système de surveillance continue du glucose
MW4BPM: A middleware for blockchain-based business process monitoring
Position Paper: Towards an automatic approach based on MAPE-K for the registration of multi-modal data in medical imaging
Business process implementation through SaaS services composition
MCSR: A graph transformation based approach for Minimal and Compact Set Representation of Causal Dependencies in Distributed Systems
Reviewing Recent Literature on IoT-Based System-of-Systems: A Bibliometric Analysis
Hybrid query expansion using linguistic resources and word embeddings
A comprehensive architecture for an IoRT-aware Business Process outsourcing into Fog and Cloud computing
Multi-Level SLA Specification Language for IoT Applications
ECO-TrackDrive: a tracking system for energy- efficient driving
Enhancing Self-Adaptive Cyber-Physical Systems using Federated Machine Learning
Towards a Metamodeling approach For IoT based System of Systems
Towards improving the characteristics of deep neural networks: a meta-modeling approach
A Meta-Modeling Approach to Describe Internet of Things Architectures
Tailoring the DOD-STD-2167A software design document to support layered abstractions
Automated object-oriented requirements analysis and design
The Ada software repository and software reusability
Translating a research LISP prototype to a formal Ada design prototype
An Ada design and implementation toolset based on object-oriented and functional programming paradigms
APL computer society welcoming remarks
Automated test support for Ada PDL
Achieving reusability through an interactive Ada interface builder
Implementing a radar display with Ada on a microcomputer
Evolving concepts, or why users often don't recognize the software they asked for
Software portability in embedded, distributed systems
A computer aided instruction (CAI) course for learning Ada
Issues in implementing a real time embedded Data Base Management System in Ada
Experiences building data structure artifacts in Ada9X
Information systems modeling: an object oriented development method
WAdaS/OOPSLA joint panel (panel): developing software for large scale reuse
Ada box structures: starting with objects
Proceedings of the Third Annual Washington Ada Symposium on Ada - Ada Use in Focus : Practical Lessons in Perspective, WADAS 1986, Laurel, Maryland, USA, 1986
Ada education on the project
The SuperSwift realtime executive: an astonishingly elegant solution to an age old problem
Covering the life cycle with Ada: Ada all the way
DIANA (panel session): an intermediate representation language for Ada
Proceedings of the Joint Ada conference Fifth National Conference on Ada Technology and Fourth Washington Ada Symposium, WADAS 1987, Arlington, Virginia, USA, 1987
The Ada-IDAS project monitoring task states
Managing software technology for corporate information management
Total quality management manifested through Ada
Enabling reuse with Ada generics
Automatically enforcing quality in Ada software
Reuse in the telecommunication domain using object oriented technology and Ada
Compiler management issues (introduction)
Use of Ada in a commericial, small company environment
HOOD design method and control/command techniques for the develpment of realtime software
The role of explicit type management schemes in the implementation of abstract data types in Ada
Adding inheritance to Ada
Using object modeling to transform structured analysis into object oriented design
Methodology in selecting tools for a real-time embedded Ada program
Use of Ada for shipboard embedded applications
An implementation of asynchronous I/O for Ada
Panel: Ada and high performance computing - reality or myth?
An approach to testing concurrent Ada programs
Experience with Ada and the 2167 software detailed design document
A model base for software engineering
Analyzing systems for object oriented design
An analysis of the Ada 9X and ARTEWG CIFO 3.0 overlap
Application of statistical process control to the software process
The impact of Ada on software project organization
Ada and Hatley-Pirbhai
View-3 and Ada: tools for building systems with many tasks
Multi-satellite operations control center benchmark
Partial automation of code generation with Ada prespecifications
Where is the Ada community heading?
Using Ada for rapid prototyping of database applications
The GNU Ada runtime library (GNARL)
Technology transfer: experiences in introducing object-oriented methods to government projects
The future government and industry software tools marketplace
Debugging concurrent software using a general Ada task state transition model
Automatic determination of recommended test combinations for Ada compilers
A hypertext-based documentation workbench for Ada-language systems
Programming paradigms involving exceptions: a software quality approach
Priority inversion in Ada programs during elaboration
A logic base tool set for real-time Ada software development
Quality tree extensions and partial instantiation for Ada objects
MIL-STD 1803 - Software development integrity program implementation - a cooperative approach to software development
Experiences in the implementation of a large Ada project
Some observations concerning reuse
Compile time scheduling of an Ada subset
A fault-tolerant system incorporating an Ada executive and 1750A processors
File structures for object-oriented software development
Panel: object oriented requirements analysis vs. structured analysis as a front end for object oriented design
Approaches to upgrading software process maturity
A generative approach to reusing of Ada subsystems
Modular communications gateway in Ada
Examining the modularity of Ada programs
Crafting an Ada executive for the Intel 80960 extended architecture
Proceedings of the Eleventh Annual Washington Ada Symposium & summer ACM SIGAda Meeting on Ada, WADAS 1994, McLean, Virginia, USA, 1994
Ada as a simulation language
A compiler independent approach to test and configuration management for Ada
Ada 83 and Ada 9X in the universities: filling the pipeline
Ada in industry (keynote address)
The Ada mandate as a threat to national security
Proceedings of the Sixth Washington Ada Symposium on Ada, WADAS 1989, McLean, Virginia, USA, 1989
Distributed operating system for robot network (title only)
NASA ADA experiment - attitude dynamic simulator
Tutorial on exception handling in Ada
Development & implementation of domain-specific reuse plan
Rapid prototyping in Ada in the rational environment emphasizing software reuse
Binding as a mechanism to support reusability in a distributed Ada communications system
Interactive discrete event simulation in Ada
Object-oriented requirements analysis: a tool vision
Use of Ada in CECOM supported systems
Should the DOD mandate a standard software development process?
Whither goest Ada? A "gold medal" performer perserves
Ada training for programming embedded systems
Software patents and economic competitiveness
Developing Ada applications in a distributed computing environment
Developing a command and control system for the theater Army commanders in Europe: a study in controlled mayhem
Ada measurement based on software quality principles
Industry (keynote address) (title only)
From reuse repositories to global area networks: Dempsy dumpsters of the information age
An animated instructional model for Ada tasking
Government (keynote address) (title only)
Space station software: progress and plans
Parallelizing Ada procedures
The EACM code performance Anomaly detector
Modula-3: a threat to Ada?
Evaluating the performance efficiency of Ada compilers
Implementing advanced artificial intelligence concepts in Ada: a case study of a prototype expert system for a real-time electronic warfare application
Software reuse economics model: Version 1.0
Proceedings of the Tenth Annual Washington Ada Symposium on Ada - Ada's Role in Software Engineering, WADAS 1993, McLean, Virginia, USA, June 28 - July 1, 1993
Architectural support for Ada in the rational environment (panel session)
DoD policy on Ada environments, a perspective (invited speech) (title only)
On designing parametrized systems using Ada
Critical run-time design tradeoff sin an Ada implementation (panel session)
Ad Hoc Query: a reusable database access capability
No one needs DOD-STD-2167A's CSCs and CSUs
Using Ada as a language for a CAD tool development: lessons and experiences
Proceedings of the Ninth Washington Ada Symposium on Ada - Empowering Software Users and Developers, WADAS 1992, McLean, Virginia, USA, 1992
What is good software and how does Ada support its development?
Porting a spacecraft monitor and control system written in Ada
TAME: tailoring an Ada Measurement Environment
The distributed software engineering control process: an Ada development environment
Formal semantics of the data types of Ada: abridged version
A motif-based instructor interface for a maintenance trainer
Automatic generation of Ada for MIS applications
The testability of Ada programs
Incorporating re-use into a software engineering course with Ada
Development of an operational flight control program in Ada
OPSAda3: an Ada-based production rule interpreter
Metrics for competitiveness
Alexi - a case study in design issues for LISP capabilities in Ada
Selection and use of and Ada-based program design language
Towards an evolutive kernel of mesurements on Ada sources developed on an integrated software engineering environmentsoftware engineering environment
Object-oriented analysis
A structure coverage tool for Ada software systems
Layered virtual machine/object-oriented design
Developing software for large scale reuse
Techniques for semi-automated implementation of state-oriented, real-time formal specifications in Ada
A development methodology for distributed Ada application
Developing a spacecraft monitor and control system in Ada
Tuesday opening session (introduction)
Software technology impact on system development (title only)
Using software metrics in acquisition management (title only)
Object-directed development of software using Ada
Automatically enforcing quality in Ada software (panel)
The AFATDS data management software system
A basic expert system tool in Ada
Position paper on the influence of programming languages on reuse
Evolving object oriented design, a case study
Developer-assisted automation for Ada design generation
Comprehensive approach to teaching Ada
The impact of Ada language features on project management (title only)
Software reuse in networking applications
Introducing the preference control primitive experience with controlling nondeterminism in Ada
Development of multi-tasking software in Ada - a case study
BSY-2 Ada lessons learned
DRAGOON and Ada: the wedding of the nineties
Solution of elliptic partial differential equations using parallel processing and tasks in Ada language
Ada tasking for parallel computation: supporting fine-grained forall parallelism
Ada language considerations for concurrency analysis
The STANFINS epilogue
Common Ada bindings to compartmented mode workstations
Developing a queueing simulation package in Ada
Ada-based abstract machine specification of CAIS to generate validation tests
An experiment with financial incentives for a small software development team
Can ADA be used for the program manager's support system (PMSS.l)? (abstract only)
Software engineering and Ada training: an implementation model for NASA
Software development for the Space Station Freedom Program in the year 2000
A practical experience with Ada* portability
Towards distributed programming paradigms in Ada 9X
Ada is a planet in the software solar system
Ada performance issues for real-time systems
Creating an integrated software/systems engineering environment
POSIX/Ada real-time bindings: description of work in progress
Experience using an automated metrics framework to improve the quality of Ada software
Evolution of Ada technology in a production software environment
Technology insertion: establishing an object-oriented life-cycle methodology
Object oriented requirements analysis for a model Ada runtime system
A database management capability for Ada
Transitioning to Ada 9X: Tartan's position
Ada implementation plan (panel session)
Computation of software quality indicators tailored for Ada using the Rational R1000 Ada development environment tools
Configuration control in an Ada programming support environment
Issues in object-oriented requirements analysis
Ada reusability efforts: a survey of the state of the practice
Great expectations: Ada software acquisition
Using a multi-level design method under DOD-STD-2167A
Design metrics and Ada
Ada's role in Air Force Software architecture for the 1990s
A knowledge structure for reusing abstract data types in Ada software production
LSL + Ada → reusable data structures
How do you release a product implemented in Ada?: making compatible interface changes with the BiiN Ada compiler
Investigation of implicitly raised Ada predefined exceptions
Lessons learned in use of Ada-oriented design methods
Using Ada for PC-based software development
Insuring that Ada compiler systems satisfy user needs
Using ASIS to develop the Ada quality toolset
Reuse library interoperability: bringing the concept into reality
Incorporating metrics into a software environment
Structured tasks
Using Ada for design: what is gained ... what is lost
A life cycle based approach to Ada software configuration management
Productivity implications of Ada generics and code generation in military formatted message processing
On implementing the OSI model in Ada via tasking
A graphical programming environment in Ada
Ada foundations for WIS
Establishing an Ada runtime benchmarking capability
Applications of Ada in a kidney-dialysis ward
Principles for defining an object-oriented design decomposition in Ada
Dialogue-specified reuse of domain engineering work products
Management of the design and implementation of a large-scale Ada CSCI using an automated scheduling tool
Exception handling in large Ada systems
An Ada symbolic debugger for multiprocessor embedded computer systems
Analysis of Ada for a crucial distributed application
Teaching Ada for business students
Issues in implementing Ada on multiprocessors
An object-oriented specification method for Ada
An Ada design for the windowing, tasking, and processing of multi-dimensional large arrays
Integrating Ada design graphics into the Ada software development process
The software development plan: a key to achieve SEI capability maturity model compliance
Ada and the study of mathematics
Proceedings of the 1st Annual Washington Ada Symposium on Ada Acquisition Management - Both Sides of the Coin, WADAS 1984, Laurel, Maryland, USA, 1984
Reusable Ada Products for Information systems Development (RAPID): reuse - year 2000
Transitioning from structured analysis to object-oriented design
An Ada interface to DIANA for inter-tool communication
Computer graphics software in Ada using AdaM
A circular model for software development
Experience in using Ada to implement a compiler
An object-oriented approach to parameterized software in Ada
The second Ada project: reaping the benefits
A methodology for testing concurrent Ada programs
The impact of the Ada language resource allocation, programmer productivity, and project performance
Experiences in using Ada to implement an OO software design
Device driver development in Ada: a case study
Considerations in acquiring Ada compilers
Ada symbolic processing for information fusion
A domain specific reuse program for electronic support measures
Functional lists: object-oriented design classes for MIS applications
Transition to Ada for complex software systems
A role for iterators as a tool for software reuse
Towards a general object-oriented Ada lifecycle
Translation of VHDL to Ada
Technology insertion and acquisition (chairman's opening comments and slides)
Using information engineering and Ada object-oriented design methods in concert - a case study
Analysis tools for Ada concurrency designs
Non-technical aspects of using Ada
Observations from a prototype implementation of the common APSE interface set (CAIS)
Using object-oriented thinking to teach Ada
Software engineering and Ada in design
Proceedings of the fifth Washington Ada Symposium on Ada, WADAS 1988, Tyson's Corner, Virginia, USA, 1988
Ada for the COBOL programmer
An automated method of referencing Ada reusable code using lil
Why Ada is appropriate for the space station program
Development of an interoperability tool for software engineering environments
A graphical trace analysis tool for Ada real-time embedded systems
Joint-service acquisition management initiatives
Use of the software capability evaluation in the FAA's microwave landing system procurement
Ada implementation in a non-Ada environment
Two views of teaching Ada - integrated and stand-alone
Process maturity as a guide to phased Ada adoption
Automating quality standards in the development of Ada software
ADESSA - an Ada expert system style advisor
Rapid prototyping with Ada
Building an elevator simulation in Ada using a process oriented methodology and support tool
Verification of the application of coding rules for Ada to enhance portability of real-time applications
Two object oriented decomposition methods
Ada reuse within the context of an Ada programming support environment
Ada semantic interface specification (ASIS) working group session
The generation of Ada and an associated PDL from a higher-level representation
Using Ada with a data flow language
Teaching Ada: a comparison of two approaches
The use of Ada in the development of distributed systems: experience implementing a communications system
EEES: the "Manhattan Project" for systems engineering
Experience using ASIS for specialized verification tools
Panel theme: Ada and management information systems
Multitasking, scheduling: approaches for Ada
Experience and lessons learned in transporting Ada software
Display development system: a successful Ada application
Object oriented analysis transformation in Ada for real-time systems with resource constraints
Ada acquisition management, both sides of the coin (introduction)
Realizing software productivity through a software first design process toolset
Ada design and implementation: remarks by the session chairman
A software manager's views on Ada and software engineering training as examples of defects in corporate training programs
NASA space station program software plans and status
Information systems development in Ada
The need for new procurement strategies for new software technology
Transitioning to Ada 9X (panel)
Experimental implementation of an Ada tasking run-time system on the multiprocessor computer Cm
Message object analysis using ASIS
Distributing the CAIS: a technical approach using the MITRE CAIS prototype
How to buy a compiler from a small business
Software development center-Washington: RAPIDa support center for software reuse
Ada software metrics and their limitations
Mechanisms for abstraction in Ada
Proceedings of the Seventh Washington Ada Symposium on Ada, WADAS 1990, McLean, Virginia, USA, 1990
Employing UNAS technology for software architecture education at the University of Southern California
Ada and the military computer family (MCF)
A window based visual debugger for a real time Ada tasking environment
A software design method for Ada based real time systems
Software engineering environment framework evaluation method: three examples
Ada processing requirements of parallel processing idioms
Proceedings of the Eighth Annual Washington Ada Symposium & Summer SIGAda Meeting on Ada - Software: Foundation for Competitveness, WADAS 1991, McLean, Virginia, USA, June 17-21, 1991
Implications for interactive tools
Proceedings of the Second Annual Washington Ada Symposium on Ada - Ada in the Mainstream: Applications and Education, WADAS 1985, Washington, D.C., USA, 1985
Experience implementing a reusable data structure component taxonomy
Functional specifications of reusable MIS software in Ada
The Interactive Ada Workstation: a prototype for next generation software environments
PADS: a working architecture for a distributed APSE
VISTA: Vitro Software Test Application Program
Object data bases and Ada
TestGen - testing tool for Ada Designs and Ada code
FASS: Firefighter Audio Safety Systems
Investigating Multimodal Audiovisual Event Detection and Localization
AM '10, The 5th Audio Mostly Conference, Piteå, Sweden, September 15-17, 2010
The drinking reminder: prototype of a smart jar
Audio Habits and Motivations in Video Game Players
Performativity in design and evaluation of sounding interactive commodities
Fast synthesis of perceptually adequate room impulse responses from ultrasonic measurements
The Augmented Floor - Assessing Auditory Augmentation
^muzicode$: Composing and Performing Musical Codes
A novel approach for time-continuous tension prediction in film soundtracks
The Geometric Oscillator: Sound Synthesis with Cyclic Shapes
Mapping Media and Meaning: Autoethnography as an Approach to Designing Personal Heritage Soundscapes
Visual patterns of hallucination as a basis for sonic arts composition
Schrödinger's box: an artifact to study the limits of plausibility in auditory augmentations
Expergefactor: sonic interaction design for an alarm clock app
Cognitive factors in generative music systems
From 8-bit punk to 8-bit avant-garde: designing an embedded platform to control vintage sound chips
Post-DMI musical Instruments
A diasporic sound immersion experience on board a slave ship
Maplet: Integrating Distributed Data Signal Mappings for Performative Interactions Within the Eurorack Modular Synthesizer Ecosystem
Ubiquitous Music-Making Systems: A Critical Overview of Current Practices
PlayShell: a low-cost, fun audio experience for heritage centres
Automatic acoustic classification of feline sex
Making gamers cry: mirror neurons and embodied interaction with game sound
An Empirical Study on the Effectiveness of Feature Selection and Ensemble Learning Techniques for Music Genre Classification
Sonic Shuttle Run: Leveraging Sound Design to Improve Affective Response and Performance in Maximal Exercise Tests
The Organium: A Library of Technical Elements for Improvisatory Design Thinking
Energy Efficiency is Not Enough: Towards a Batteryless Internet of Sounds
FM Tone Transfer with Envelope Learning
Smart Mandolin: autobiographical design, implementation, use cases, and lessons learned
Large-Scale Interaction with a Sound Installation as a Design Tool
Imagined time: sculpting a temporal experience for the listener
A Prototype Mixer to Improve Cross-Modal Attention During Audio Mixing
Dynamic enhancement of videogame soundscapes
Procedurally-Generated Audio for Soft-Body Animations
A toolkit for explorations in sonic interaction design