yusuke1997/dblp-id-title huggingface dataset:
An Improved Tree-Based Distribution Group Key Agreement Protocol
Social Cognitive Optimization Algorithm with Reactive Power Optimization of Power System
The Application of Particle Swarm Optimization to Solving Nonlinear Equations
Log management comprehensive architecture in Security Operation Center (SOC)
Research on Application of Philosophy in Programming
Organization Construction of the Knowledge Innovation Network Involving Industry-Academia-Research
Friendlink: Link prediction in social networks via bounded local path traversal
An ID-based Multi-server Authentication with Key Agreement Scheme without Verification Table on Elliptic Curve Cryptosystem
A Snake Model Based on Improved Internal Energy
Research on the Relationships between Knowledge Potential Difference and Knowledge Transfer Based on the Knowledge Network of Enterprise, University and Research Institute
Performance of Modified Iterative Decoding Algorithm for Multilevel codes
Social Network Signatures: A Framework for Re-identification in Networked Data and Experimental Results
A Two-Degree-of-Freedom IMC Parameters Online Intelligent Tuning Method
Fast Optimal Normal Basis Multiplier with Type-2kw Over GF (2m)
Implicit groups in web-based interactive applications
Improving Network Security and Performance by Multipath Routing in Ad Hoc Networks
Enabling fine-tuned relationship and privacy in social networks
Study of Power System Short-term Load Forecast Based on Artificial Neural Network and Genetic Algorithm
Spam detection using compression and PSO
Information integration for detecting communities in attributed graphs
Searching similar images - Vector quantization with S-tree
Representing scientific associations through the lens of Actor-Network Theory
Estimating network parameters using random walks
A Bi-swarm Particle Swarm Optimization with Cooperative Co-evolution
Graph-based cross-validated committees ensembles
Directional Two-dimensional Neighborhood Preserving Projection for Face Recognition
On the temporal analysis of scientific network evolution
Two-dimensional Exponential Discriminant Analysis and its Application to Face Recognition
One-Class Principal Component Classifier for anomaly detection in wireless sensor network
Graphical analysis of social group dynamics
Quantifying social network dynamics
Design of Interactive e-Care Dining Table for Smart Kitchen
A Hybrid Vector Artificial Physics Optimization with One-Dimensional Search Method
Applying Web Service Technology to Build a Wireless LAN Problem Diagnosis Expert System
On-line Batch Process Monitoring Using SVM-Based MPLS
Effects of Computer Game-based Instruction on Students' Programming Achievement in Taiwan
Toward a lightweight framework for monitoring public clouds
A secure and lightweight approach for critical data security in cloud
Primary role identification in e-mail networks using pattern subgraphs and sequence diagrams
Personalized adaptive media interfaces for multimedia search
Chinese SNS blog classification using semantic similarity
A Novel Method to Characterize Unwanted Email Traffic
Two-phase Particle Swarm Optimization with Scale-free Network Model
Prediction of O-Glycosylation Sites in Protein Sequence by Kernel Principal Component Analysis
A Semi-Supervised Spectral Clustering Algorithm Based on Rough Sets
Design of a Nonlinear Power System Stabilizer
SoSIReČR - IT professional social network
Informativity-based graph: Exploring mutual kNN and labeled vertices for semi-supervised learning
Sentence Factorization for Opinion Feature Mining
Using Hungry Particle Swarm Optimization to Direct Orbits of Chaotic Systems
An intrusion detection framework for supporting SLA assessment in Cloud Computing
Securing password recovery through dispersion
Generating private recommendations in a social trust network
A computational model to textual extraction and construction of social and complex networks
Ontologic audit trails mapping for detection of irregularities in payrolls
A survivability model for object-oriented software systems
The Study on Functional Connectivity between Frontal Eye Field and Other Brain Cortex in Visual Processing
Triads, transitivity, and social effects in user interactions on Facebook
A Robust and Efficient Password-authenticated Key Agreement Scheme without Verification Table Based on Elliptic Curve Cryptosystem
Solving 0-1Knapsack Problem Based on Rough Set Theory
A New Electromagnetism-like Algorithm with Chaos Optimization
Multi-sensor Image Fusion Algorithm Based on NSCT and PCNN
Evaluation of Efficiency of Capital Sources Utilization and Company Performance of E-Life Mall in Kaohsiung City Based on Data Envelopment Analysis
Instances of subconscious social intelligent computing
Social Network - An Autonomous System Designed for Radio Recommendation
Characterizing and preventing chargebacks in next generation web payments services
A Chinese Synonyms Reduced Algorithm Based on Sememe Tree
An ontology-based repository for a spontaneous social network
Quality of service & process control: What is their efficiency in available IT products?
On the Synergies between Online Social Networking, Face Recognition and Interactive Robotics
Fourth International Conference on Computational Aspects of Social Networks, CASoN 2012, Sao Carlos, Brazil, November 21-23, 2012
A look at hidden web pages in Italian public administrations
Boosting Optimum-Path Forest clustering through harmony Search and its applications for intrusion detection in computer networks
Web page classification based on Schema.org collection
A Wireless Ad Hoc Overlay Networks Indexing Mechanism Based on Petri Nets Theory
Logic of Cognitive Representations and Their Evolution
Evolution: Travelling in an Imaginary Landscape
On Parallel Consciousness
Implementation of Divide-and-Conquer Algorithms on Multiprocessors
Finding the Global Minimum of a Low-Dimensional Spin-Glass Model
WOPPLOT 86 - Parallel Processing: Logic, Organization, and Technology, Proceedings of a Workshop, Neubiberg, Germany, July 2-4, 1986
The Construction of Space and the Logics of Quantum Mechanics
Pyramidal Architectures for Image Processing
Distributed Semantic Representations of Word Meanings
Associative Neural Networks in Analog VLSI: Advantages of Decrementing Algorithms
ASPARAGOS, A Parallel Genetic Algorithm and Population Genetics
Pattern Storage and Associative Memory in Quasi-Neural Networks
Understanding Evolution as a Collective Strategy for Groping in the Dark
Architectural Considerations for NERV - a General Purpose Neural Network Simulation System
Ten Theses Regarding the Design of Controlled Evolutionary Strategies
Parallelism, Learning, Evolution, Workshop on Evolutionary Models and Strategies, Neubiberg, Germany, March 10-11, 1989, Workshop on Parallel Processing: Logic, Organization, and Technology - WOPPLOT 89, Wildbad Kreuth, Germany, July 24-28, 1989
Cellular Automata and the Concept of Space
Some Remarks on Synchronization Problems
Incommensurability of Liouvillean Dynamics and Information Dynamics
Complementarity and Non-locality in Complex Systems
Self-Organizing Hierarchical Modular Systems
Adaptive Associate Systems for VLSI
Planning a Dynamic Trajectory via Path Finding in Discretized Phase Space
Analyzing Mental Representation by Means of NLP (Neuro Linguistic Programming)
Effective Implementation of Distributed Arbitration in Multiprocessor Systems
Parallel Algorithms and the Classification of Problems
Technological Developments for Three-Dimensional Circuitry
Flowshop and Travelling Salesman Problem
Connectionist Models of Utterance Production
MIMD Algorithms and Their Implementation
Selforganization by Evolutionary Strategies in Visual Systems
Towards a Complex Notion of Time
Molecular Electronics: Storage and Transport
Neural Nets and Cellular Automata
Optimization and Complexity in Molecular Biology and Physics
Structure and Parallel Processing
Self-Organization of Informational Systems
Parallel Genetic Algorithms, Population Genetics, and Combinatorial Optimization
On Steiner Trees and Genetic Algorithms
A Modal Propositional Calculus for Quantum Facts and Dynamical Theories
Systems and Uncertainty
Self-Organization in Computational Systems
Numerical Simulation of Physical Phenomena by Parallel Computing
Chaotic Dynamics of Generating Markov Partitions, and Linguistic Sequences Mimicking Zipf's Law
Nonmonotonic Reasoning: Formalizations and Implementations
Adaptation and Extension: Learning in Rigid Systems
Multipurpose and special Purpose Computers
A transition analysis of an operational system from ADA83 to ADA95
AdaPT and Ada 9X
Developing a generic genetic algorithm
Proceedings of the conference on TRI-Ada 1995: Ada's role in global markets: solutions for a changing complex world, November 5 -10, 1995, Anaheim, CA, USA
Object-Oriented Design and Automatic Ada Code Generation in the Education of Software Engineers
Weirton Steel - Ada in process control
Penelope, an Ada verification system
Ada 95 bindings for the NCSA hierarchical data format
AFATDS - from concept evaluation to full scale development
Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, October 24-28, 2010
Implementing Distributed Ada
The Ada test and verification systems (ATVS)
Working with Ada 9X Classes
Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling
For partnership initiatives, will Ada 95 experiences parallel Ada 83 experiences?
Transparent Filtering of Streams in GLADE
A Large Distributed Control System Using Ada in Fusion Research
Evaluating real-time performance of Ada implementations
Secured Systems and Ada: A Trusted System Software Architecture
SA1: introducing the best of ada
Ada and MIS - establishing an Ada foundation
Debugging Distributed Applications with Replay Capabilities
Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, Atlanta, GA, USA, November 14-14, 2004
An event-driven debugger for Ada
Working towards DO-178C/ED-12C, DO-248C/ED-94C, and DO-278A/ED109A
Ada development system technical and performance requirements (with rationale)
Debugging Highly-Optimized Ada with Code Motion (DHACM)
Attitudes to Ada in the UK high-reliability software sector (plenary session)
Keynote address: future development of the Ada language
A Denotational (Static) Semantics Method for Defining Ada Context Conditions
Temporal skeletons for verifying time
Measuring cohesion of packages in Ada95
The Aladdex Operating Systems for the Aladdin Multiprocessor
Comparison of assembly language and Ada for a real-time embedded ECM system
Leading-edge ada verification technologies: combining testing and verification with GNATTest and GNATProve - the hi-lite project
Extensible Protected Types
Ada on the AM 29000 in military real-time embedded control applications
Learning to Use Ada 95 Components Using HTML Linking
Experiences in developing a typical web/database application
Targeting GNAT to the Java Virtual Machine
Pragmatic quality metrics for evolutionary software development models
The role of distributed, real-time Ada & C++ on the Airborne Surveillance Testbed (AST) program
Implementing the model-view-controller paradigm in Ada 95
Protecting Intellectual Property Rights in Software
Visual Ada developer
Tutorial overview: understanding dynamic memory management in safety critical java
Lessons Learned in Implementing a Team Review Process
The compiler as a static analysis tool
Object Oriented Formal Specifications to Support Ada 95 Reuse
Ada 9X Tagged Types and Their Implementation in GNAT
Extending the scope of the program library
Software Reuse: A Context for Introducing Software Engineering Principles in a Traditional Computer Science Second Course
Use of Ada in Lockheed Martin for air traffic management and beyond
HACMS: high assurance cyber military systems
An ASIS-Based Static Analysis Tool for High-Integrity Systems
Tutorial Proceedings on TRI-Ada 1992, November 17-20, 1992, Orlando, Florida USA - Volume 1
Some issues in data types and type checking
Active Learning and Process Assessment: Two Experiments in an Ada-Based Software Engineering Course
Advanced combat systems interactive design laboratory (ACSIDL)-the Ada experience
Use of object oriented technologies in high reliability system
Ada and the evolution of software engineering
The evolution of an object oriented development method
Modeling Problem-Domain Asynchrony
A DSA model for data access in self-organizing systems
A three level Ada interface to a commercial database
Ada tasking and parallel processors
Compositional verification of a medical device system
A new robust and efficient implementation of controlled types in the GNAT compiler
A framework for model checking UDP network programs with Java pathfinder
DAGAR: A Process for Domain Architecture Definition and Asset Implementation
The costs related to making software reusable: experience from a real project
Managing Ada Using Rational's Configuration Management/Version Control and IBM's Software Configuration Library Manager
Advanced Object-Oriented Features and Programming in Ada 95
Proceedings of the 1987 Annual ACM SIGAda International Conference on Ada, SIGAda 1987, Boston, Massachusetts, USA, 1987
Explorer platform Ada flight software
Easy-Sim: Using Ada 9X in a Graphics System Software Architecture
Engineering domain-specific languages with formula 2.0
What future for the distributed systems annex?
Against Software Patents
Panel on compiler certification: should we trust our compiler?
Deterministic execution testing of concurrent Ada programs
CORBA and the Future of Application Development
Schizophrenic middleware support for fault tolerance
Requirements analysis for large Ada programs: lessons learned on CCPDS-R
Linear algebra and other Ada packages adapted from HAL/S, FORTRAN, PL/I and MAC
Ada's impact: a quantitative assessment
Ada pilot project at HQ Pacific Air Forces: lessons learned during development
Wanted: software with assurance built-in
Experiences in Implementing Ada 9X Protected Records and Requeue
Safe parallel programming in ada with language extensions
Ada 9X and CASE: A Methods Perspective
Successful Experience with AdaSAGE Reusable Component Library
Ada cost issues and answers
The Howitzer improvement program: lessons learned
Integrating Parallel Dataflow Programming with the Ada Tasking Model
SP2: exposing ada web services using a service-oriented architecture (SOA)
Introduction to the X window system for ada
The Situation in Object-Oriented Specification and Design
Automatic OO parser generation using visitors for Ada 2005
The system-oriented editor - a tool for managing large software systems
Tri-Ada Panel 95 (panel session): commercial use of MIL-STD-498 and its replacement
Generic discrete event simulations using DEGAS : application to logic design and digital signal processing
Observations on Program-Wide Ada Exception Propagation
Transitioning to Ada in an Introductory Course for Non-Majors
Visual Support for Incremental Abstraction and Refinement in Ada 95
A multi-language service-oriented architecture using an enterprise service bus
Visual Conventions for System Design Using Ada 9X: Representing Asynchronous Transfer of Control
Reverse engineering Ada into HOOD
Tri-Ada panel '95 (panel session): introduction to MIL-STD-498 and ISO/IEC 12207
Partitioned Ada libraries as a basis for variant control (extended abstract)
Ada real-time design case study tutorial TRI-ada '91
Interpartition Communication with Shared Active Packages
Normal forms for algebraic specifications of reusable Ada packages
In search of "real" Ada: a software saga with a moral or two
A software design method for Ada 95 based concurrent and real-time systems
RAPID: A Free, Portable GUI Design Tool
Towards Target-Level Testing and Debugging Tools for Embedded Software
Automatic instantiation in Ada
Ada 95 a base to architect systems in O4S (Objects For Systems)
Effective Software Reuse in an Embedded Real-Time System
Automating the Ada Programming Rrocess: A Domain-Specific Approach
T2: ASIS: Tools with a View of Exposing Ada (Panel)
Experience tracking software development progress on a large Ada project (a window into the development process)
Designing configurable software; compass implementation concepts
Resolute: an assurance case language for architecture models
Bounded model checking of high-integrity software
Open source development of a safety critical dual redundant (Ada95/C++) signal control program environment (SCOPE)
Using Ada 95 for the Design of Distributed Real-Time Systems
Model driven development with Ada
A Comparison of Different Tasking Architectures Used in Mobile Satellite Communication Ground Station Software
Ada-Based Programming Language Course in Moscow State University
Measuring the effectiveness of ACATS
A comparison of CORBA and ada's distributed systems annex
Early experiences adopting Ada 95
Supporting packed decimal in Ada
Re-ADA: reliable Ada-based descriptive architecture for C4ISR via a quantitative interoperating model
A simplified graphic notation for Ada programs
The Rendezvous is Dead - Long Live the Protected Object
Storage reclamation models for Ada programs
A microprocessor with Ada real time support
Technology Transfer of Software Reuse (panel)
Embedded CPU Target Migration, Doing More With Less
Making the non-executable ACATS tests executable
Federal aviation administration and Ada
Reengineering an Ada95-programmed command and control information system by using UML
Ada 83/95 binding to OSF's distributed computing environment (DCE)
Layering and multiple views of data abstraction in Ada: techniques and experiences
Design of Concurrent Software
Algorithm Animation with Symbol Processing Robots
Ada, Pascal's Replacement for Introductory Courses in Computer Science
An environment for operational software engineering in Ada
Extending Ada to assist multiprocessor embedded development
Ada: plugging in the power tool
Ada 9X Implementation
Toward the efficient implementation of expert systems in Ada
Enforcing security and safety models with an information flow analysis tool
HEmut-PoliCaza: Introducing Ada in the University Through PC Anti-Virus Software Development
Using ada in a service-Ooriented architecture
Experiences in preparing a DOD-STD-2167A software design document for an Ada project
Providing Fault-Tolerant Services to Distributed Ada 95 Applications
Weaving Ada 95 into the .net environment
Development and distribution of Ada courseware
Using mathematics to improve ada compiled code, part 2: the proof
A low-level tasking package for Ada
When Hardware Becomes Software: Designing a Safety-Critical System with Ada
The rise, fall and persistence of Ada
Looking into Safety with the Safety and Security Rapporteur Group
The Undergraduate Capstone Software Design Experience
Keynote address: fixing software before it breaks
An Integrated Tool Environment for Ada Compiler Validations
Conversion to Ada and Ada 95: A Software Re-engineering Approach
Ada as a parallel language for high performance computers: experience and results
Ada integration into MIS environment
Large development teams and the Ada library or who recompiled the #%$@!& Ada library
Always One More Bug: Applying AdaWise to Improve Ada Code
The Evolving Role of Software Reuse
Multi-language programming with Ada
Tutorial Proceedings on Ada's Role in Global Markets: solutions for a changing complex world, TRI-Ada 1995, November 5-10, 1995, Anaheim, CA, USA
Ada implementation of an X Window System server
An Ada based approach to factory scale MAP network simulaton
The software-cycle models for re-engineering and reuse
Product-line reuse for Ada systems
An overview and example of application of CAEDE: a new, experimental design environment for Ada
Benchmarking Ada: A Rationale
The Effects of Software Patents
An introduction for the TRI-Ada session on reusability
Using Ada 95 as a Tool to Teach Problem Solving to Non-CS Majors
Against User Interface Copyright
GKS/Ada post mortem, a cost analysis
Why COBOL programmers refuse Ada
The Evolution of a Distributed dataflow Processing Model Using Ada
Incremental software test approach for DOD-STD-2167A Ada projects
A survey of object-oriented methodologies
Management Barriers to Software Reuse
Grow: an APSE stress tester
What happened to integrated environments? (panel session)
Performance of a high-level parallel programming layer defined on top of the Ada tasking model
IT companies' acceptance of and attitudes towards Ada
CORBA vs. Ada 95 DSA: a programmer's view
Viewing Ada from a process model perspective
Toward a real-time Ada design methodology
Ada for closely coupled multiprocessor targets
Software design documentation approach for a DOD-STD 2167A Ada project
Reusable Ada packages for information systems development (RAPID): an operational center of excellence for software reuse
MF1: security by construction
Language choice for safety critical applications
Ada for flexible manufacturing: foundation for success
Empirical guidelines to use Ada effectively
An Object-Oriented Approach to Software Process Modeling and Definition
Distributed Ada real-time kernel (DARK)
Abstract Data Types are Under Full Control with Ada 9X
An automated mechanism for effectively applying domain engineering in reuse activities
Architectural patterns for complex real-time systems (abstract of keynote address)
Ada software productivity issues: results from the AFATDS project
Implementing Ada Tasking in a Multiprocessing, Multithreaded UNIX Environment
Modeling SPARK systems with UML
Future approaches to software procurement
The real transition problem or don't blame Ada
Track 4 background and purpose
Experiences in object-oriented programming (panel session)
Object oriented design in a real-time multiprocessor environment
M7: Reuse Library Interoperability Group (RIG): Purpose and Progress (Panel)
Comparing the Reliability Provided by Tasks or Protected Objects for Implementing a Resource Allocation Service: a Case Study
Parallel Ada on Alliant's FX/series
Tailoring an ada run-time system
Service-oriented architecture (SOA)concepts and implementations
Software Engineering Plan Reviews - Better for Ada Than the Mandate? (Panel)
Implementing OSA Model Instances in Ada
Prototyping a Parallel Discrete Event Simulation System in Ada
SPTP: the Software Process Training Program
Effects of Ada on design problems in a discrete event simulator
Ada in Japan
Some effects of coding styles on optimizations
Proceedings of the 1994 Conference on TRI-Ada 1994, November 6-11, 1994, Baltimore, Maryland, USA
DIGITAC III digital flight control system
The object-oriented software development method: a practical approach to object-oriented development
From Ada 9x to spaceport America: going where no one has gone before
High performance implementations for Ada interrupts in real-time systems
The marriage of Ada and Joe College
Implementing a software architecture
Experimental performance analysis of ada programs in cluster system
The ALS Ada compiler global optimizer
Integrating Inheritance and Synchronization in Ada9X
Thomson-CSF and Ada for ATC: An experience of eight years
Scheduling problems for parallel and distributed systems
An introduction to the C# language and .NET infrastructure
Implementing recovery blocks in GNAT: a powerful fault tolerance mechanism and a transaction support
Benchmarking for deadline-driven computing
Hierarchical object oriented design for large, technical, real-time software developments
FAA's controller pilot automatic data communication (data comm) system software development
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013
Quality Guidelines = Designer Metrics
Automatic versus interactive program verification
O4S (Objects for Systems): Tailoring MIL-STD-498 for Efficiency
Proceedings of the Conference on Tri-Ada 1989 - Ada Technology in Context: Application, Development, and Deployment, TRI-Ada 1989, Pittsburgh, Pennsylvania, USA, 1989
Intelligent Systems and Ada 95
AADL and model-based engineering
"Automatic Prototype Generating" restated with re-ADA: perspective-bridged architecture for document-driven systems transitioning