yusuke1997/dblp-id-title huggingface dataset:
Further refinements to the proposed datagram interface [for X.25]
Generating realistic routing tables in a test-lab
Counting 6to4 relay routers
Some limitations of adjacency matrices in computer network analysis
Probe-Aided MulTCP: an aggregate congestion control mechanism
Can We Save the Public Internet?
The January 2022 issue
Workshop on internet economics (WIE2013) report
An argument for increasing TCP's initial congestion window
Review of "Texas A&M: University Network Serving Outside Users by D. B. Simmons. Datamation Vol. 20 No. 3, March 74"
Measuring the impact of a successful DDoS attack on the customer behaviour of managed DNS service providers
An independent H-TCP implementation under FreeBSD 7.0: description and observed behaviour
Design principles and performance analysis of SSCOP: a new ATM adaptation layer protocol
Transparent interconnection of incompatible local area networks using bridges
Only 365 days left until the Sigcomm deadline
PAMAS - power aware multi-access protocol with signalling for ad hoc networks
A brief history of NTP time: memoirs of an Internet timekeeper
Does AS size determine degree in as topology?
A "Gen 2" RFID monitor based on the USRP
The state of peer-to-peer simulators and simulations
Summary-based routing for content-based event distribution networks
Rate-based congestion control for ATM networks
A case for packet switching in high-performance wide-area networks
Development of an OSI application layer protocol interface
International workshop on distributed systems: operation & management
The July 2022 issue
Exploring Domain Name Based Features on the Effectiveness of DNS Caching
Validation of a Trust Approach in Multi-Organization Environments
Agile Threat Assessment and Mitigation: An Approach for Method Selection and Tailoring
Calculating Quantitative Integrity and Secrecy for Imperative Programs
Towards Tool-Support for Usable Secure Requirements Engineering with CAIRIS
A Structured Method for Security Requirements Elicitation concerning the Cloud Computing Domain
Not Ready for Prime Time: A Survey on Security in Model Driven Development
Assessing the Value of Formal Control Mechanisms on Strong Password Selection
Role Mining to Assist Authorization Governance: How Far Have We Gone?
Software Engineering Security Based on Business Process Modeling
Development of a Master of Software Assurance Reference Curriculum
Retrofitting Existing Web Applications with Effective Dynamic Protection Against SQL Injection Attacks
Secure by Design: Developing Secure Software Systems from the Ground Up
A Pattern-Based and Tool-Supported Risk Analysis Method Compliant to ISO 27001 for Cloud Systems
An Introduction to Remote Installation Vulnerability in Content Management Systems
Semi-Automatic Annotation of Natural Language Vulnerability Reports
Eliciting Security Requirements for an Information System using Asset Flows and Processor Deployment
Attribute Decoration of Attack-Defense Trees
Security Evaluation of Service-Oriented Systems Using the SiSOA Method
Benefits and Challenges in the Use of Case Studies for Security Requirements Engineering Methods
Supporting Consistency during the Development and Evolution of Quality Unified Use-Misuse Case Models
Improving Security and Safety Modelling with Failure Sequence Diagrams
A Method and Case Study for Using Malware Analysis to Improve Security Requirements
An Alternative Threat Model-based Approach for Security Testing
Model Based Process to Support Security and Privacy Requirements Engineering
Towards Designing E-Services that Protect Privacy
Analysis of ANSI RBAC Support in EJB
Eliciting Policy Requirements for Critical National Infrastructure Using the IRIS Framework
Monitoring Buffer Overflow Attacks: A Perennial Task
Survey of Vulnerabilities and Mitigation Techniques for Mooc-Based Applications
CONFU: Configuration Fuzzing Testing Framework for Software Vulnerability Detection
Threat Analysis in Goal-Oriented Security Requirements Modelling
A Rigorous Approach to the Definition of an International Vocational Master's Degree in Information Security Management
A Practical Framework for Policy Composition and Conflict Resolution
Principles and Measurement Models for Software Assurance
Introducing a Novel Security-Enhanced Agile Software Development Process
Steps Towards Fuzz Testing in Agile Test Automation
A Tool Support for Secure Software Integration
The Case for Privacy Awareness Requirements
Analyzing Human Factors for an Effective Information Security Management System
Performance Evaluation of Secure Key Deployment and Exchange Protocol for MANETs
An Empirical Bandwidth Analysis of Interrupt-Related Covert Channels
Method Using Command Abstraction Library for Iterative Testing Security of Web Applications
Mean Failure Cost as a Measurable Value and Evidence of Cybersecurity: E-Learning Case Study
Secure Software Education: A Contextual Model-Based Approach
A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints
Using Attack Graphs to Analyze Social Engineering Threats
Fuzzy Rule-Based Vulnerability Assessment Framework for Web Applications
Modelling Security Using Trust Based Concepts
An Exploratory Study of the Security Design Pattern Landscape and their Classification
An Invariant-Based Approach for Detecting Attacks Against Data in Web Applications
Advancing Cyber Resilience Analysis with Performance-Based Metrics from Infrastructure Assessments
Building Secure Software Using XP
Threat Representation Methods for Composite Service Process Models
Comparing Misuse Case and Mal-Activity Diagrams for Modelling Social Engineering Attacks
Towards Ontological Approach to Security Risk Analysis of Information System: Model and Architecture
Assessing the Usefulness of Testing for Validating and Correcting Security Risk Models Based on Two Industrial Case Studies
A Formal Approach for Securing XML Document
Towards a More Systematic Approach to Secure Systems Design and Analysis
Optimal Voting Strategy against Random and Targeted Attacks
A Tagging Approach to Extract Security Requirements in Non-Traditional Software Development Processes
Analyzing Impacts on Software Enhancement Caused by Security Design Alternatives with Patterns
Using Executable Slicing to Improve Rogue Software Detection Algorithms
Assimilating and Optimizing Software Assurance in the SDLC: A Framework and Step-Wise Approach
Expansion and Practical Implementation of the MFC Cybersecurity Model via a Novel Security Requirements Taxonomy
Performance Evaluation of SHA-2 Standard vs. SHA-3 Finalists on Two Freescale Platforms
A Database of Existing Vulnerabilities to Enable Controlled Testing Studies
Evaluation of the Challenges of Developing Secure Software Using the Agile Approach
Vulnerability Discovery Modeling for Open and Closed Source Software
Security Requirements Engineering for Evolving Software Systems: A Survey
Jif-Based Verification of Information Flow Policies for Android Apps
Design Patterns and Design Quality: Theoretical Analysis, Empirical Study, and User Experience
Where to Integrate Security Practices on DevOps Platform
A Comparative Analysis of Access Control Policy Modeling Approaches
Formal Modeling and Verification of Security Property in Handel C Program
Design Churn as Predictor of Vulnerabilities?
Meta-Modeling Based Secure Software Development Processes
Integrating Patient Consent in e-Health Access Control
Remote E-Voting Using the Smart Card Web Server
A New Method for Writing Assurance Cases
Organizational Patterns for Security and Dependability: From Design to Application
Katana: Towards Patching as a Runtime Part of the Compiler-Linker-Loader Toolchain
Request and Response Analysis Framework for Mitigating Clickjacking Attacks
Evolution of Security Engineering Artifacts: A State of the Art Survey
Security Gaps in Databases: A Comparison of Alternative Software Products for Web Applications Support
Designing Secure and Privacy-Aware Information Systems
Integrating Access Control into UML for Secure Software Modeling and Analysis
Secure Software Development Assimilation: Effects of External Pressures and Roles of Internal Factors
Validating Security Design Pattern Applications by Testing Design Models
LDAP Vulnerability Detection in Web Applications
Risk-Based Privacy-Aware Information Disclosure
Improving Memory Management Security for C and C++
A Taxonomy Built on Layers of Abstraction for Time and State Vulnerabilities
Goal Modelling for Security Problem Matching and Pattern Enforcement
Risk Centric Activities in Secure Software Development in Public Organisations
Ell Secure Information System Using Modal Logic Technique
A Lightweight Measurement of Software Security Skills, Usage and Training Needs in Agile Teams
Migration Goals and Risk Management in Cloud Computing: A Review of State of the Art and Survey Results on Practitioners
Balancing Product and Process Assurance for Evolving Security Systems
An Incremental B-Model for RBAC-Controlled Electronic Marking System
Extraction of an Architectural Model for Least Privilege Analysis
SETER: Towards Architecture-Model Based Security Engineering
Information Theoretic XSS Attack Detection in Web Applications
Software Security Engineering: Design and Applications
Agile Software Development: The Straight and Narrow Path to Secure Software?
Case Study of Agile Security Engineering: Building Identity Management for a Government Agency
Mitigating Type Confusion on Java Card
A Systematic Empirical Analysis of Forging Fingerprints to Fool Biometric Systems
JavaSPI: A Framework for Security Protocol Implementation
Self-Modifying Code: A Provable Technique for Enhancing Program Obfuscation
Trust Based Interdependency Weighting for On-Line Risk Monitoring in Interdependent Critical Infrastructures
Improving the Detection of On-Line Vertical Port Scan in IP Traffic
Formative User-Centered Evaluation of Security Modeling: Results from a Case Study
Analysis of Existing Software Cognitive Complexity Measures
La valutazione d'impatto socio-economico e culturale della ricerca nelle scienze umane e sociali: uno studio di caso in una Università del Regno Unito = Assessing the impact of research on society, economy and culture in the Humanities and Social sciences: a case study on a UK university campus
Reporting - the final phase of scientific research - can and should be supported. A case for integrating language professionals into the research setting
Il Punto Organico: una storia italiana = The "Punto Organico": an Italian history
Riflessioni sull'equipollenza dei titoli e sulla libertà di movimento dei docenti universitari all'interno dell'Unione Europea = Italian university in Europe: remarks on equivalence of diplomas and freedom of movement within the Union
Selecting applications for funding: why random choice is better than peer review
Blue skies, impacts, and peer review
Some remarks on the division of cognitive labor
Science Policy for an increasingly diverging Europe
University ranking methodologies. An interview with Ben Sowter about the Quacquarelli Symonds World University Ranking
Metajournals. A federalist proposal for scholarly communication and data aggregation
Un elemento di valutazione della qualità della didattica universitaria = An element of evaluation of the quality of university teaching
What ranking journals has in common with astrology
Il personale docente: stato giuridico, reclutamento, evoluzione (1975-2015) = Legal status, recruitmen and evolution of Italian university professors (1975-2015)
Numerical approximation of a time-fractional Black-Scholes equation
Inequalities involving generalized interpolation polynomials
The Dune framework: Basic concepts and recent developments
Counting linear extension majority cycles in partially ordered sets on up to 13 elements
Alternating direction method of multiplier for a unilateral contact problem in electro-elastostatics
Existence results for a coupled system of nonlinear fractional differential equations with three-point boundary conditions
An estimate on the convergence of MKZ-Bézier operators
A fast numerical method to price American options under the Bates model
Some remarks on spanning families and weights for high order Whitney spaces on simplices
Two-grid method for miscible displacement problem by mixed finite element methods and finite element method of characteristics
A two-grid method for discontinuous Galerkin approximations to compressible miscible displacement problems
On high-order finite element solution of eigenvalue problems on isospectral surfaces
Stable second-order schemes for the space-fractional Cahn-Hilliard and Allen-Cahn equations
A novel finite element method for the distributed-order time fractional Cable equation in two dimensions
An adaptive virtual element method for the polymeric self-consistent field theory
A modified memory-based mathematical model describing fluid flow in porous media
Random Airy type differential equations: Mean square exact and numerical solutions
Turbulent jet computations based on MRT and Cascaded Lattice Boltzmann models
Formal topological characterizations of various continuous domains
Invariant sets and attractors for Hanusse-type chemical systems with diffusions
A posteriori error estimates for nonconforming approximations of Steklov eigenvalue problems
Lattice Boltzmann simulation of capillary interactions among colloidal particles
Strictly positive definite kernels on subsets of the complex plane
Statistical estimation algorithms for repairs-time limit replacement scheduling under earning rate criteria
Distributed order equations as boundary value problems
An improved a posteriori error estimate for the Galerkin spectral method in one dimension
Local discontinuous Galerkin methods for parabolic interface problems with homogeneous and non-homogeneous jump conditions
An adaptive solution strategy for Richards' equation
Efficient parameterized HSS iteration methods for complex symmetric linear systems
Effect of fractional parameter on plane waves of generalized magneto-thermoelastic diffusion with reference temperature-dependent elastic medium
Spectral properties of the SPH Laplacian operator
The periodicity and solutions of the rational difference equation with periodic coefficients
Energy decay rates for the semilinear wave equation with memory boundary condition and acoustic boundary conditions
Two-step MPS-MFS ghost point method for solving partial differential equations
New consistent methods for order and coefficient estimation of continuous-time errors-in-variables fractional models
Erratum to "Perturbation analysis for the hyperbolic QR factorization" [Computers & Mathematics with Applications 63 (2012) 1607-1620]
A RBF partition of unity collocation method based on finite difference for initial-boundary value problems
Dissipative spatial discretization of a phase field model of multiphase multicomponent isothermal fluid flow
Controllability for parabolic equations with nonlinear memory
Hyperbolic conservation laws for continuous two-phase flow without mass exchange
Soft nexuses
Maximum likelihood stochastic gradient estimation for Hammerstein systems with colored noise based on the key term separation technique
Modelling of electrokinetically driven mixing flow in microchannels with patterned blocks
The steady states of a non-cooperative model arising in reactor dynamics
Mixed lump-kink solutions to the KP equation
Lattice-valued approach to closed sets under fuzzy relations: Theory and applications
Finite difference discretization of the extended Fisher-Kolmogorov equation in two dimensions
Hierarchical high order finite element spaces in H(div, Ω)×H1(Ω) for a stabilized mixed formulation of Darcy problem
An anisotropic hp-adaptation framework for ultraweak discontinuous Petrov-Galerkin formulations
A multi-domain spectral-Galerkin method for the Neumann problem on quadrilaterals
A projection proximal-point algorithm for MR imaging using the hybrid regularization model
L1 Fourier spectral methods for a class of generalized two-dimensional time fractional nonlinear anomalous diffusion equations
Iterative residual-based vector methods to accelerate fixed point iterations
Explicit bounds for the solutions of second order linear differential equations
Asymptotic nonlinear and dispersive pulsatile flow in elastic vessels with cylindrical symmetry
Detecting critical regions in multidimensional data sets
High order DG-DGLM method for hyperbolic conservation laws
Unconditionally energy stable second-order numerical schemes for the Functionalized Cahn-Hilliard gradient flow equation based on the SAV approach
On the development of a coupled nonlinear telegraph-diffusion model for image restoration
Some local Poincaré inequalities for the composition of the sharp maximal operator and the Green's operator
On the stability structure for lattice Boltzmann schemes
Nonlinear integral synchronization of ring networks
Finite element approximations of general fully nonlinear second order elliptic partial differential equations based on the vanishing moment method
Fast pedestrian detection system with a two layer cascade of classifiers
A quadratic empirical model formulation for dynamical systems using a genetic algorithm
Global optimization for special reverse convex programming
Convergence analysis of the preconditioned Gauss-Seidel method for H-matrices
Galerkin finite element solution for Benjamin-Bona-Mahony-Burgers equation with cubic B-splines
Variable V-cycle multigrid preconditioners for the discrete systems from combined hybrid quadrilateral elements
SAV Fourier-spectral method for diffuse-interface tumor-growth model
High order method for Black-Scholes PDE
A global-local approach for hydraulic phase-field fracture in poroelastic media
A novel localized collocation solver based on a radial Trefftz basis for thermal conduction analysis in FGMs with exponential variations
A mixed virtual element method for Biot's consolidation model
Isotropic and anisotropic total variation regularization in electrical impedance tomography
Lump solutions to a (2+1)-dimensional extended KP equation
The minimum angle condition for d-simplices
On the numerical solution of high order multi-dimensional elliptic PDEs
Reliability consideration of a mobile communication system with network congestion
An improved regularity criterion for the 3D Hall-MHD equations via the vorticity
Newton-LL * method for the second-order semi-linear elliptic partial differential equations
A gradient-based regularization algorithm for the Cauchy problem in steady-state anisotropic heat conduction
Fixed point theorem for two non-self mappings in cone metric spaces
On weighted q-Čebyšev-Grüss type inequalities
Existence and non-existence of nontrivial solutions for Schrödinger systems via Nehari-Pohozaev manifold
Central local discontinuous Galerkin method for the space fractional diffusion equation
Numerical investigation on the obliquely incident water wave passing through the submerged breakwater by singular boundary method
Semi-convergence analysis of parameterized ULT splitting iteration methods for singular saddle point problems
Application of the (G'/G)-expansion method to (3 +1)-dimensional nonlinear evolution equations
A low-rank solver for conforming multipatch Isogeometric Analysis
Positive solutions for a system of p-Laplacian boundary value problems
Two augmentation preconditioners for nonsymmetric and indefinite saddle point linear systems with singular (1, 1) blocks
Applying the extended mass-constraint EM algorithm to image retrieval
A highly parallel algorithm for computing the action of a matrix exponential on a vector based on a multilevel Monte Carlo method
Preconditioners generated by minimizing norms
New exact solutions corresponding to the first problem of Stokes for Oldroyd-B fluids
Approximate analytic solution of the Dirichlet problems for Laplace's equation in planar domains by a perturbation method
He's frequency-amplitude formulation for nonlinear oscillators with an irrational force
On a stochastic logistic equation with impulsive perturbations
On the stability of solution mapping for parametric generalized vector quasiequilibrium problems
A simple method to determine the critical buckling loads for axially inhomogeneous beams with elastic restraint
On a multiscale approach for filter efficiency simulations
The periodic solutions for general periodic impulsive population systems of functional differential equations and its applications
Phi 1 -concavity and fuzzy multiple objective decision making
An iterative method for generalized nonlinear set-valued mixed quasi-variational inequalities with H-monotone mappings
Fractional model for malaria transmission under control strategies
A limited memory BFGS-type method for large-scale unconstrained optimization
Spatiotemporal dynamics in a diffusive ratio-dependent predator-prey model near a Hopf-Turing bifurcation point
A comparative study of numerical integration based on Haar wavelets and hybrid functions
Coupling of finite element and boundary element methods with regularization for a nonlinear interface problem with nonmonotone set-valued transmission conditions
Existence and roughness of exponential dichotomies of linear dynamic equations on time scales
Bounded Property and Point Control of a Bivariate Rational Interpolating Surface
An optimization method for solving mixed discrete-continuous programming problems
Simulation of processes and structures in the synapse in the context of tetrahedral mesh quality
The k-tuple twin domination in generalized de Bruijn and Kautz networks
An efficient algorithm for solving Hilbert type singular integral equations of the second kind
Coordinated control design of multiple HVDC links based on model identification
Applications of recurrence relations for the characteristic polynomials of Bethe trees
Oscillation of equations with an infinite distributed delay
Numerical Analysis of Tumor Model in Steady State
Some properties of the roots of theories in propositional logic systems
Superconvergence results for nonlinear Klein-Gordon-Schrödinger equation with backward differential formula finite element method
From Boltzmann to Euler: Hilbert's 6th problem revisited
Relative controllability of fractional dynamical systems with multiple delays in control
Blow-up phenomena for a parabolic problem with a gradient nonlinearity under nonlinear boundary conditions
Incorporating nonmonotone strategies into the trust region method for unconstrained optimization
Training RBF neural networks for the solution of elliptic boundary value problems
Multigrid defect correction and fourth-order compact scheme for Poisson's equation
Generalized distributed order diffusion equations with composite time fractional derivative
Mixed convection heat transfer in a square porous cavity filled with a nanofluid with suction/injection effect
A closed-form approximation for the fractional Black-Scholes model with transaction costs
Existence result for fractional Schrödinger-Poisson systems involving a Bessel operator without Ambrosetti-Rabinowitz condition
On favorable bounds on the spectrum of discretized Steklov-Poincaré operator and applications to domain decomposition methods in 2D
The use of polynomial-augmented RBF collocation method with ghost points for plane elastostatic equations of anisotropic functionally graded materials
Multiple solutions for nonlinear operator equations under the condition of two pairs of paralleled lower and upper solutions
Numerical aspects of Casimir energy computation in acoustic scattering
Proceedings of the international conference on computational mathematics and inverse problems honoring Peter Monk
Optimal error estimate of discontinuous Galerkin methods for advection-diffusion-reaction problems with low regularity
Fifth-order weighted essentially non-oscillatory schemes with new Z-type nonlinear weights for hyperbolic conservation laws
Monolithic convex limiting in discontinuous Galerkin discretizations of hyperbolic conservation laws
A TV-L2-H-1 PDE model for effective denoising
He's variational method for the Benjamin-Bona-Mahony equation and the Kawahara equation
Non-negative moment fitting quadrature rules for fictitious domain methods
The adaptive SAV weak Galerkin finite element method for the Allen-Cahn equation