yusuke1997/dblp-id-title huggingface dataset:
A note on conditioning, stability and collocation matrices
A smooth output interpolation process for BDF codes
On the condition of singular boundary value problems
Survey of interval algorithms for ordinary differential equations
Elements of a general theory of composite integration methods
Solving STIFF systems by Taylor series
Global error estimation and the backward differentiation formulas
Global extrapolation of numerical methods
A multi-purpose system for the numerical integration of ODE's
A class of contractive second derivatives multistep methods
The dichotomy of stiffness: pragmatism versus theory
Some aspects of using IV software to solve BVP via a Riccati transformation
Polynomial and rational interpolation in the numerical solution of stiff systems
Special methods for problems whose oscillatory solution is damped
Strong uniform stability and exact discretizations of a model singular perturbation problem and its finite-difference approximations
A new error-control for initial value solvers
Two concepts for numerical periodic solutions of ODE's
On stability constants and condition numbers of discretisation methods
A general purpose ODE solver implementation
Globally convergent homotopy methods: a tutorial
On boundary value problems in differential-algebraic equations
Recent Trends in Network Security and Applications - Third International Conference, CNSA 2010, Chennai, India, July 23-25, 2010. Proceedings
Reliable Timeout Based Commit Protocol
Detection and Classification of DDoS Attacks Using Fuzzy Inference System
Privacy Preserving Data Mining by Cyptography
Wireless Mesh Networks: Routing Protocols and Challenges
Knowledge Base Compound Approach towards Spam Detection
Reputation Enhancement in a Trust Management System
Global Search Analysis of Spatial Gene Expression Data Using Genetic Algorithm
Pipelining Architecture of AES Encryption and Key Generation with Search Based Memory
Towards Designing Application Specific Trust Treated Model
A Framework for Mining Strong Positive and Negative Association Rules of Frequent Objects in Spatial Database System Using Interesting Measure
Privacy Preserving Ciphertext Policy Attribute Based Encryption
Clustering Approach in Speech Phoneme Recognition Based on Statistical Analysis
A Trust-Based Detection Algorithm of Selfish Packet Dropping Nodes in a Peer-to-Peer Wireless Mesh Network
Security for High-Speed MANs/WANs
Load Balancing in Distributed Web Caching
Secured Paradigm for Mobile Databases
Analysis and Comparative Study of Different Backoff Algorithms with Probability Based Backoff Algorithm
A Deviation Based Outlier Intrusion Detection System
Privacy Preserving Mining of Distributed Data Using Steganography
Fuzzy Rule-Base Based Intrusion Detection System on Application Layer
A Flow Based Slow and Fast Scan Detection System
A SAT Based Verification Framework for Wireless LAN Security Policy Management Supported by STRBAC Model
Modeling and Performance Analysis of Efficient and Dynamic Probabilistic Broadcasting Algorithm in MANETs Routing Protocols
BubbleTrust: A Reliable Trust Management for Large P2P Networks
Performance Evaluation and Detection of Sybil Attacks in Vehicular Ad-Hoc Networks
A Roadmap for the Comparison of Identity Management Solutions Based on State-of-the-Art IdM Taxonomies
A Distributed Trust and Reputation Framework for Mobile Ad Hoc Networks
Proof Of Erasability for Ensuring Comprehensive Data Deletion in Cloud Computing
Privacy Layer for Business Intelligence
Analysis of 802.11 Based Cognitive Networks and Cognitive Based 802.11 Networks
VLSI Design and Implementation of Combined Secure Hash Algorithm SHA-512
Trust Management Framework for Ubiquitous Applications
A Hybrid Address Allocation Algorithm for IPv6
TRING: A New Framework for Efficient Group Key Distribution for Dynamic Groups
Behavioral Analysis of Transport Layer Based Hybrid Covert Channel
Proxy Re-signature Scheme That Translates One Type of Signature Scheme to Another Type of Signature Scheme
On Analyzing the Degree of Coldness in Iowa, a North Central Region, United States: An XML Exploitation in Spatial Databases
A Novel Approach for Compressed Video Steganography
Proposed Security Model and Threat Taxonomy for the Internet of Things (IoT)
Secure Framework for Data Centric Heterogeneous Wireless Sensor Networks
Trust Models in Wireless Sensor Networks: A Survey
A Trust Based Technique to Isolate Non-forwarding Nodes in DSR Basedmobile Adhoc Networks
Performance Comparison of Multicast Routing Protocols under Variable Bit Rate Scenario for Mobile Adhoc Networks
Design of a Reliability-based Source Routing Protocol for Wireless Mobile Ad Hoc Networks
Image Classification for More Reliable Steganalysis
Detection and Recognition of File Masquerading for E-mail and Data Security
Efficient Region-Based Key Agreement for Peer -to - Peer Information Sharing in Mobile Ad Hoc Networks
Conscience-Based Routing in P2P Networks: Preventing Copyright Violations and Social Malaise
Design and Implementation of Pessimistic Commit Protocols in Mobile Environments
Identity Management Framework towards Internet of Things (IoT): Roadmap and Key Challenges
Comparative Analysis of Formal Model Checking Tools for Security Protocol Verification
Energy Analysis of RSA and ELGAMAL Algorithms for Wireless Sensor Networks
Dynamic Policy Adaptation for Collaborative Groups
Implementation of MPEG-7 Document Management System Based on Native Database
Security for Contactless Smart Cards Using Cryptography
A New Remote Mutual Authentication Scheme for WI-FI Enabledhand-Held Devices
A-Code: A New Crypto Primitive for Securing Wireless Sensor Networks
Efficient Encryption of Intra and Inter Frames in MPEG Video
Ensured Quality of Admitted Voice Calls through Authorized VoIP Networks
A Power Adjustment Approach for Multi-channel Multi-AP Deployment Using Cognitive Radio Concept
Detection and Mitigation of Attacks by Colluding Misbehaving Nodes in MANET
Concurrent Usage Control Implementation Verification Using the SPIN Model Checker
Data Security in Local Area Network Based on Fast Encryption Algorithm
A Corpus-Based List of Frequently Used Words in Sesotho
Investigating an Approach for Low Resource Language Dataset Creation, Curation and Classification: Setswana and Sepedi
Building Collaboration-based Resources in Endowed African Languages: Case of NTeALan Dictionaries Platform
A Computational Grammar of Ga
SpeechReporting Corpus: annotated corpora of West African traditional narratives
Evaluating the Sesotho rule-based syllabification system on Sepedi and Setswana words
Unsupervised Cross-lingual Word Embedding Representation for English-isiZulu
Deep learning and low-resource languages: How much data is enough? A case study of three linguistically distinct South African languages
Complex Setswana Parts of Speech Tagging
Natural Language Processing in Ethiopian Languages: Current State, Challenges, and Opportunities
Usability and Accessibility of Bantu Language Dictionaries in the Digital Age: Mobile Access in an Open Environment
Endangered African Languages Featured in a Digital Collection: The Case of the ǂKhomani San, Hugh Brody Collection
Proceedings of the Fourth workshop on Resources for African Indigenous Languages (RAIL 2023), Dubrovnik, Croatia, May 6, 2023
Comparing methods of orthographic conversion for Bàsàá, a language of Cameroon
Towards a Swahili Universal Dependency Treebank: Leveraging the Annotations of the Helsinki Corpus of Swahili
Proceedings of the First Workshop on Resources for African Indigenous Languages, RAIL 2020, Virtual Workshop, 11-16 May, 2020
Investigating Sentiment-Bearing Words- and Emoji-based Distant Supervision Approaches for Sentiment Analysis
Mobilizing Metadata: Open Data Kit (ODK) for Language Resource Development in East Africa
Preparing the Vuk'uzenzele and ZA-gov-multilingual South African multilingual corpora
Automatic Spell Checker and Correction for Under-represented Spoken Languages: Case Study on Wolof
Analyzing political formation through historical isiXhosa text analysis: Using frequency analysis to examine emerging African Nationalism in South Africa
IsiXhosa Intellectual Traditions Digital Archive: Digitizing isiXhosa texts from 1870-1914
Comparing Neural Network Parsers for a Less-resourced and Morphologically-rich Language: Amharic Dependency Parser
Navigating Challenges of Multilingual Resource Development for Under-Resourced Languages: The Case of the African Wordnet Project
Vowels and the Igala Language Resources
A Calculus of Trustworthy Ad Hoc Networks
Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
Avoiding Delegation Subterfuge Using Linked Local Permission Names
Formal Reasoning About a Specification-Based Intrusion Detection for Dynamic Auto-configuration Protocols in Ad Hoc Networks
Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France
Risk Balance in Optimistic Non-repudiation Protocols
Where Can an Insider Attack?
Measuring Anonymity with Relative Entropy
Formalizing and Analyzing Sender Invariance
Who Can Declassify?
Applied Quantitative Information Flow and Statistical Databases
A Formal Analysis of Authentication in the TPM
Towards Verification of Timed Non-repudiation Protocols
Validating Security Protocols under the General Attacker
Unifying Decidability Results on Protection Systems Using Simulations
Semantics of Trust
Foundations of Attack-Defense Trees
Semantics and Enforcement of Expressive Information Flow Policies
Know What You Trust
On the Automated Correction of Protocols with Improper Message Encoding
Verifiable Control Flow Policies for Java Bytecode
Service Automata
Game-Based Verification of Multi-Party Contract Signing Protocols
Strategic Games on Defense Trees
Secure Broadcast Ambients
A Policy Model for Secure Information Flow
Parameterised Anonymity
Type-Based Enforcement of Secure Programming Guidelines - Code Injection Prevention at SAP
Hiding Information in Multi Level Security Systems
Dynamic Security Labels and Noninterference (Extended Abstract)
A User Interface for a Game-Based Protocol Verification Tool
Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction
Dynamics, Robustness and Fragility of Trust
Deriving Trust from Experience
Non-Interference for Deterministic Interactive Programs
Program Partitioning Using Dynamic Trust Models
From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust
Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security
AnBx - Security Protocols Design and Verification
Reasoning about Probabilistic Security Using Task-PIOAs
Privacy-Friendly Electronic Traffic Pricing via Commits
Understanding Abstractions of Secure Channels
Normative Specification: A Tool for Trust and Security
A Logic for Auditing Accountability in Decentralized Systems
Analysing the Information Flow Properties of Object-Capability Patterns
Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption
Is Cryptyc Able to Detect Insider Attacks?
On Anonymity with Identity Escrow
Specification and Verification of Side Channel Declassification
Do You Really Mean What You Actually Enforced?
Cryptographic Enforcement of Role-Based Access Control
Complementing Computational Protocol Analysis with Formal Specifications
Towards a Type System for Security APIs
Secure Untrusted Binaries - Provably!
Towards Automatic Analysis of Election Verifiability Properties
Timed Calculus of Cryptographic Communication
Trusted Multiplexing of Cryptographic Protocols
Modeling Identity-Related Properties and Their Privacy Strength
Concepts and Proofs for Configuring PKCS#11
On the Formal Analyses of the Zhou-Gollmann Non-repudiation Protocol
Finite Models in FOL-Based Crypto-Protocol Verification
Usage Automata
Delegating Privileges over Finite Resources: A Quota Based Delegation Approach
Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties
Voting Technologies and Trust
Reasoning with Past to Prove PKCS#11 Keys Secure
Eliminating Implicit Information Leaks by Transformational Typing and Unification
Secure Upgrade of Hardware Security Modules in Bank Networks
The Append-Only Web Bulletin Board
A New Trust Model Based on Advanced D-S Evidence Theory for P2P Networks
A Semantic Paradigm for Component-Based Specification Integrating a Notion of Security Risk
Secrecy and Authenticity Types for Secure Distributed Messaging
Formal Validation of OFEPSP+ with AVISPA
Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers
Locality-Based Security Policies
Integrating Automated and Interactive Protocol Verification
A Formal Approach to Specify and Deploy a Network Security Policy
Model Checking of Security-Sensitive Business Processes
A Tool for the Synthesis of Controller Programs
A Logic for Analysing Subterfuge in Delegation Chains
Trust within the Context of Organizations: A Formal Approach
TBA : A Hybrid of Logic and Extensional Access Control Systems
A Security Management Information Model Derivation Framework: From Goals to Configurations
An Interactive Trust Management and Negotiation Scheme
Improving the Semantics of Imperfect Security
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers
Proof Obligations Preserving Compilation
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels
Opacity Generalised to Transition Systems
Match It or Die: Proving Integrity by Equality
Information Flow Analysis via Path Condition Refinement
Specifying and Modelling Secure Channels in Strand Spaces
Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus
Information Flow Analysis for Probabilistic Timed Automata
A Formal Privacy Management Framework
Bounded Memory Dolev-Yao Adversaries in Collaborative Systems
Probable Innocence Revisited
Verifying Multi-party Authentication Using Rank Functions and PVS
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
Causality and Accountability
HMM-Based Trust Model
Efficient Decision Procedures for Message Deducibility and Static Equivalence
Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
A Formal Specification of the MIDP 2.0 Security Model
Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations
Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards
Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers
Differential Privacy: On the Trade-Off between Utility and Information Leakage
Interactive Information Flow - (Invited Talk)
Maintaining Information Flow Security Under Refinement and Transformation
Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers
Relative Trustworthiness
Secure Information Flow for Distributed Systems
Attack, Solution and Verification for Shared Authorisation Data in TCG TPM
A Formal Model for Parameterized Role-Based Access Control
Formal Analysis of a Fair Payment Protocol
Modelling Dynamic Opacity Using Petri Nets with Silent Actions
Access Control and Information Flow in Transactional Memory
Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties
Pattern-Matching Spi-Calculus
Better Security and Privacy for Web Browsers: A Survey of Techniques, and a New Implementation
Discretionary Overriding of Access Control in the Privilege Calculus
A Type System for Access Control Views in Object-Oriented Languages
Type-Based Distributed Access Control vs. Untyped Attackers
Verifying Cryptographic Code in C: Some Experience and the Csec Challenge
The CaPiTo Approach to Protocol Validation - (Invited Talk)
Decidability of Opacity with Non-Atomic Keys
Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
Secure Recharge of Disposable RFID Tickets
A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols
Probable Innocence in the Presence of Independent Knowledge
Formal Certification of ElGamal Encryption
Extending Anticipation Games with Location, Penalty and Timeline
Reasoning about Secure Interoperation Using Soft Constraints
A Classification of Delegation Schemes for Attribute Authority
Petri Net Security Checker: Structural Non-interference at Work
Quantifying and Qualifying Trust: Spectral Decomposition of Trust Networks
An Algebra for Trust Dilution and Trust Fusion
A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols
Security Issues in the Tuple-Space Coordination Model
Min-Entropy Leakage of Channels in Cascade
Formal Analysis of Anonymity in ECC-Based Direct Anonymous Attestation Schemes
A Comparison of Semantic Models for Noninterference
Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data
Diffie-Hellman without Difficulty
A Calculus for the Analysis of Wireless Network Security Protocols
Portunes: Representing Attack Scenarios Spanning through the Physical, Digital and Social Domain
Transformations between Cryptographic Protocols
A Trust Model with Statistical Foundation
On-the-Fly Inlining of Dynamic Dependency Monitors for Secure Information Flow
Corrective Enforcement of Security Policies
Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder
Formal Analysis of Key Integrity in PKCS#11
Static Detection of Logic Flaws in Service-Oriented Applications
Secure Information Flow as a Safety Property
Analysing Applications Layered on Unilaterally Authenticating Protocols
Modular Plans for Secure Service Composition
How Many Election Officials Does It Take to Change an Election?
A Simulation Method of Cognitive Maps
The worst failure: repeated failure to learn
A Soft Systems Case Study Investigating The Information System Of A Small Business And Demonstrating The Usefulness Of Rich Pictures
Can Viable Systems Modelling Explain the Management Problems of London's Royal Opera House?
The ISIS-model: Information Society - Integrated Systems Model
Supporting Investment Evaluation and Project Management: Toward A Framework of IT/IS Costs
The Soft Information Systems and Technologies Methodology (SISTeM): A Contingency Approach to Integrated Decision Making and Development
System Dynamics: from Theory to Practice
Making Sense of Social Complexity through Strange Attractors
Unfolding Systems Boundary: Evolution and Implication
A Third Way Between Hard and Soft Methodologies
DECOREM: A Design and Construction Rework Minimisation Model
Strategy Formulation for Quality Control in Process Industries
Process of Strategic Operations Planning improved by Action Research
Integrated management systems: An agile manufacturing enabler
A Methodological Framework for Systems Thinking and Modelling (ST&M) Interventions
Using systems modelling to examine the relationship between environmental policy and mining company decision making
The Basic Management Cycle: A Systems Approach to the Management Process
A Comparison of SSM with an Organisational Learning Model
Development of an Intelligent Decision Support System for Metal Forming Industry
Decision Making Environment in the Information Product Markets
A Conceptual Framework for a Dynamic Model for Regional Planning: Towards Sustainable Development for Bali, Indonesia
The Development and Implementation of a Virtual Teaching Environment
Information Analysis and Business Intelligence Tools in Management
Methodological Pluralism in practice: the practical application of various systems methods and techniques in the analysis and design of complex work systems.
Teaching Systems Thinking to Industrial Engineering Students
Teaching Introductory Management Using A Computer Simulation Game
Continuous Organisational Learning through the development of High Performance Teams
A Systems Approach to the Engineering Work Force
Causal Loop Diagramming of the Relationships among Customer Satisfaction, Customer Retention, and Profitability
Evaluation of Immunisation Strategies in New Zealand - A Systems Thinking Approach
Systems Simulation for Complex Managerial Problems
Productivity Management of Flexible Manufacturing Systems Using Advanced Parallel Computer Architecture
Development of an Integrated IT Research Methodology
Integrating the "Hard" and "Soft" Sides of Systems Thinking - A Case Study in New Zealand Local Government
Are we any nearer implementing systems concepts in business and government?
Creating Futures Scenarios To Aid In Military Planning: The Use Of The Field Anomaly Relaxation Systems Approach
Learning and Policy Making in Occupational Safety Using A Dynamic Simulation
Using the Managerial Enterprise Structure Stakeholders (MESS) Model to examine the effects of organisational politics and structure upon the cost of Information Systems development
The Role of Participation in Systems
ICSTM2000, International Conference on Systems Thinking in Management, Geelong, Australia, November 8-10, 2000
Enterprise Resource Planning: Experiences in Implementing SAP in Project Management Environment
Information Systems Quality Issues to Consider when Developing and Implementing Web Based Teaching Environments
Delivering Business Critical Information Systems As A Service: A Taxonomy Of Application Service Providers
Systems Thinking Competencies and the Learning Organisation
SCM-ERP integration: organisational, managerial and technological issues
The Introduction of Simulation as Teaching and Learning Tool
Constructing empowerment: People, processes, participation and profit
Being AND Doing: The Challenge of Integrating Domains
Corporate governance and governance/management relationships: examining the role of systems thinking in organisational design
Using VSM to integrate SD modelling into an organization context
Using soft systems as a methodology for researching knowledge management problems
Mathematical images of learning technology and its action on region
Systems Approach for Virtual Learning Development
Knowledge Management in Supply Chains
The use of deception in systems
Applying Systems Thinking to Catchment Management
Systems Thinking for Sustainable Resource Management in Environmental Management Education
Investigating the Implementation of a MIS Strategy in an Australian SME
A Framework to place Cross-cultural Case Study Research in an Information Systems Action Research Context
A Dynamic Decision-Making System for Manufacturing Control
Concepts Chaos and Complexity: An Alternate Strategic Alignment for Information Systems
Linking Stakeholder Literature and System Dynamics: Opportunities for Research
The Changing Nature of Strategy Development-Supporting Management Thinking
Soft Wholes in the Management Practice
Cultural change in organisations through the use of scenario analysis: some research findings
Optimal Decision Making Systems in Manufacturing
Towards a Complex Non-linear Systems Theory of Organisation
Firm Competence Evaluation Framework using AHP
Implementation Issues In ERP
Towards effective knowledge systems: Helping consultants identify their world view
From Getting It Right to Getting It Human: Reclaiming Imprecise Interpretations for Being and Knowing in the World
Future Planning Methodology - Liberative Consultancy with Community Organisations
Managing Occupational Health And Safety Using Dynamic Learning Systems
Exploring Corporate Eco-modernism: Challenging Corporate Rhetoric and Scientific Discourses
Building Corporate 'Black Boxes': A Different Perspective on Organisational Learning