yusuke1997/dblp-id-title huggingface dataset:
Towards a model of exploration in computer-aided design
Discussion: Design space description formalisms
Exploiting Integrated 'Product' & 'Life-Phase' Features
Feature-Based Integration of Product, Process and Resources
A KICAD Tool for Pro-Active Exploration Support To 'Design Synthesis For Multi-X'
An Intelligent Integrated Interactive CAD-A Preliminary Report
Use of Feedback to Control Redesign
Classification of Knowledge for Generating Engineering Models - A Case Study of Model Generation in Finite Element Analysis
Representation of Design Functions in Experience-Based Design
Supporting Conceptual Design: A Model for Reflective-Interactive Design
Behavior: A Link between Function and Structure in Design
Erep: An editable, high-level representation for geometric design and analysis
Formal representation of meaning in architecture
Automatic Mesh reconstruction for feature-absed sculpting of deformable surfaces
A formal language for the design of manufacturable objects
Geometric modeling for shape and topology optimization
Intelligent Computer Aided Design, Proceedings of the IFIP WG 5.2 Working Conference on Intelligent Computer Aided Design (IntCAD91), Columbus, OH, USA, 30 September - 3 October 1991
Non-Isoparametric Three Axis NC tool path generation for finish machining of sculptured surfaces
Computational Assessment of Curvatures and Principal Directions of Implicit Surfaces from 3D Scalar Data
Construction of Rational Curves with Rational Rotation-Minimizing Frames via Möbius Transformations
Reparametrization and Volume Mesh Generation for Computational Fluid Dynamics Using Modified Catmull-Clark Methods
Exploring Matrix Generation Strategies in Isogeometric Analysis
Constructing Good Coefficient Functionals for Bivariate C 1 Quadratic Spline Quasi-Interpolants
Partially Nested Hierarchical Refinement of Bivariate Tensor-Product Splines with Highest Order Smoothness
Quadrangular Parameterization for Reverse Engineering
Reparameterization and Adaptive Quadrature for the Isogeometric Discontinuous Galerkin Method
On the Local Approximation Power of Quasi-Hierarchical Powell-Sabin Splines
Exploiting the Implicit Support Function for a Topologically Accurate Approximation of Algebraic Curves
Mean Distance from a Curve to Its Control Polygon
On the Coupling of Decimation Operator with Subdivision Schemes for Multi-scale Analysis
Deconfliction and Surface Generation from Bathymetry Data Using LR B-splines
Regression Analysis Using a Blending Type Spline Construction
A Theoretical Analysis of an Improved Rational Scheme for Spherical Camera Motions
Hermite Interpolation with Rational Splines with Free Weights
Deriving Novel Formulas and Identities for the Bernstein Basis Functions and Their Generating Functions
Algorithms and Data Structures for Truncated Hierarchical B-splines
Adaptivity with B-spline Elements
Shape Preserving Hermite Interpolation by Rational Biquadratic Splines
Compactly Supported Splines with Tension Properties on a Three-Direction Mesh
Coefficient-Based Spline Data Reduction by Hierarchical Spaces
Logarithmic Curvature and Torsion Graphs
Tensor Product B-Spline Mesh Generation for Accurate Surface Visualizations in the NIST Digital Library of Mathematical Functions
Reparameterization of Curves and Surfaces with Respect to Their Convolution
Local Hierarchical h-Refinements in IgA Based on Generalized B-Splines
Direct Pixel-Accurate Rendering of Smooth Surfaces
Non-regular Surface Approximation
Efficient Pixel-accurate Rendering of Animated Curved Surfaces
A Versatile Strategy for the Implementation of Adaptive Splines
Sampling and Stability
The LIR Space Partitioning System Applied to Cartesian Grids
Realistic Plant Modeling from Images Based on Analysis-by-Synthesis
A Comparison of Different Progressive Iteration Approximation Methods
Translation Surfaces and Isotropic Transport Nets on Rational Minimal Surfaces
Segmentation of 3D Tubular Structures by a PDE-Based Anisotropic Diffusion Model
Mathematical Methods for Curves and Surfaces - 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers
A Mathematical Model for Extremely Low Dose Adaptive Computed Tomography Acquisition
Low Degree Euclidean and Minkowski Pythagorean Hodograph Curves
Commutator Estimate for Nonlinear Subdivision
Application of Longest Common Subsequence Algorithms to Meshing of Planar Domains with Quadrilaterals
Subdivision Schemes and Norms
Some Geometrical Aspects of Control Points for Toric Patches
Approximation of Implicit Blends by Canal Surfaces of Low Parameterization Degree
Vibrational Error Extraction Method Based on Wavelet Technique
Bilinear Clifford-Bézier Patches on Isotropic Cyclides
Representation of Motion Spaces Using Spline Functions and Fourier Series
A Comparison of Three Commodity-Level Parallel Architectures: Multi-core CPU, Cell BE and GPU
Geometric Design Using Space Curves with Rational Rotation-Minimizing Frames
Fat Arcs for Implicitly Defined Curves
Least Squares Fitting of Harmonic Functions Based on Radon Projections
Planar Parametrization in Isogeometric Analysis
Multiresolution Analysis for Minimal Energy C r -Surfaces on Powell-Sabin Type Meshes
Construction and Analysis of Zone-dependent Interpolatory/Non-interpolatory Stochastic Subdivision Schemes for Non-regular Data
Macro-element Hierarchical Riesz Bases
Mathematical Methods for Curves and Surfaces, 7th International Conference, MMCS 2008, Tønsberg, Norway, June 26-July 1, 2008, Revised Selected Papers
Smoothing the Antagonism between Extraordinary Vertex and Ordinary Neighbourhood on Subdivision Surfaces
Precise Construction of Micro-structures and Porous Geometry via Functional Composition
Non-uniform Interpolatory Subdivision Based on Local Interpolants of Minimal Degree
Generalized Metric Energies for Continuous Shape Deformation
Joining Primal/Dual Subdivision Surfaces
Order-Randomized Laplacian Mesh Smoothing
Partial Differential Equations for Interpolation and Compression of Surfaces
Generating Functions for Uniform B-Splines
Simplicial Complex Entropy
Piecewise Rational Parametrizations of Canal Surfaces
Towards Subdivision Surfaces C2 Everywhere
An Introduction to Guided and Polar Surfacing
A Topological Lattice Refinement Descriptor for Subdivision Schemes
Reconstructing Sparse Exponential Polynomials from Samples: Difference Operators, Stirling Numbers and Hermite Interpolation
Simplification of FEM-Models on Cell BE
Effects of Noise on Quantized Triangle Meshes
Geometric Properties of the Adaptive Delaunay Tessellation
An Iterative Algorithm with Joint Sparsity Constraints for Magnetic Tomography
Mathematical Methods for Curves and Surfaces - 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papers
Machinability of Surfaces via Motion Analysis
Analyzing Soft and Hard Partitions of Global-Scale Blockchain Systems (Poster)
Why General Collective Intelligence Must Be the Future of the Blockchain (Poster)
5th International Symposium on Foundations and Applications of Blockchain 2022, FAB 2022, Berkeley, CA, USA, June 3, 2022
4th International Symposium on Foundations and Applications of Blockchain 2021, FAB 2021, University of California, Davis, California, USA (Virtual Conference), May 7, 2021
Dynamic Blockchain Sharding
DAISIM: A Computational Simulator for the MakerDAO Stablecoin
Efficient DAG-Based Consensus (Invited Talk)
Byzantine-Tolerant Distributed Grow-Only Sets: Specification and Applications
Hierarchical Consensus: A Horizontal Scaling Framework for Blockchains (Invited Talk)
TimeFabric: Trusted Time for Permissioned Blockchains
Reflections on the Past, Present and Future of Blockchain Foundations and Applications (Invited Talk)
Dynamic Curves for Decentralized Autonomous Cryptocurrency Exchanges
Some Insights on Open Problems in Blockchains: Explorative Tracks for Tezos (Invited Talk)
Fork Accountability in Tenderbake
Tenderbake - A Solution to Dynamic Repeated Consensus for Blockchains
Improving Blockchain Resilience to Network Partitioning by Sharding (Poster)
A Modular Approach for the Analysis of Blockchain Consensus Protocol Under Churn (Poster)
Feature Interactions in Telecommunications III, October 11-13, 1995, Kyoto, Japan
Context and Intent in Call Processing
Issues of Non-Monotonicity in Feature-Interaction Detection
Detection and Resolution of Interactions between Services of Telephone Networks
A Generic Approach for the Automatic Verification of Featured, Parameterised Systems
Formalisation of a user view of network and services for feature interaction detection
Neglected Topics of Feature Interactions: Mechanisms, Architectures, Requirements
New Feature Interactions in Mobile and Multimedia Telecommunications Services
A Practical Introduction to Games, Infinity and the Edinburgh Concurrency Workbench
Detecting and Resolving Undesired Component Interactions by Runtime Software Architecture
A Two-tier Architecture to Handle Number Portability and IN-Service Interaction
Feature Interaction Detection Technique Based on Feature Assumptions
Modelling and Analysing User Views of Telecommunications Services
Future Interactions in Policy-Driven Privacy Management
Detecting Feature Interactions between SIP Call Control Services
Incremental Requirement Specification for Evolving Systems
On Preventing Telephony Feature Interactions which are Shared-Control Mode Confusions
Feature Interaction in Internet Telephony
Formalising the Chisel Feature Notation
An architecture for defining features and exploring interactions
An Experiment for the Processing of Feature Interactions within an Object-Oriented Environment
A Pattern Language of Feature Interaction
Feature interactions among Pan-European services
Features as Service Transformations
An Object-Oriented Approach to Feature Interaction
Feature Requirements Models: Understanding Interactions
Feature Interaction Problems in Web-based Service Composition - (position paper)
A Tool for the Identification of Interaction-Prone Call Scenarios
Incremental Feature Validation: a Synchronous Point of View
Runtime Resolution of Feature Interactions in Architectures with Separated Call and Feature Control
Feature Interactions in a Software Product Line for E-voting
Addressing the Interaction Problem at the Enterprise Level
Detection of Feature Interactions with REST
Minimizing Feature Interactions: An Architecture and Processing Model Approach
Feature Specification and Automatic Conflict Detection
Feature Interaction Detection Using Permutation Symmetry
A Formal Framework for Feature Interaction with Emphasis on Testing
Analysis of Feature Interactions in Mobile Terminals
Service Interaction Management for Distributed Services in a Deregulated Market Environment
Approaches for Intelligent Networks
Feature Integration as Substitution
Towards a More Efficient Feature Interaction Analysis - A Statistical Approach
A Dynamic Resolution Method for Feature Interactions and Its Evaluation
Governance Policies for Privacy Access Control and their Interactions
Feature Interactions in Telecommunications Systems, May 8-10, 1994, Amsterdam, The Netherlands
Architectural Solutions to Feature-Interaction Problems in Telecommunications
Towards Feature Interactions in Business Processes
Service and Feature Interactions in TINA
Feature Interactions in Overlay Networks
Feature Interaction Detection and Resolution in the Delphi Framework
Feature Interactions - Life Beyond Traditional Telephony
Formal Approaches for Detecting Feature Interactions, Their Experimental Results, and Application to VoIP
Goals and Conflicts in Telephony
Service Broker for Next Generation Networks
Semantic-Based Aspect Interaction Detection with Goal Models - (position paper)
Plug-and-play Features
Towards a Feature Interaction Algebra
How to Guarantee Service Cooperation in Dynamic Environments?
Using temporal logic for modular specification of telephone services
Problem-Oriented Feature Interaction Detection in Software Product Lines
A formal AIN Service Creation, Feature Interactions Analysis and Management Environment: An Industrial Application
Aspect-Oriented Solutions to Feature Interaction Concerns using AspectJ
Phase Automaton for Requirements Scenarios
Resolving Service Interactions by Service Components
Feature Specification and Refinement with State Transition Diagrams
Feature Interaction Modelling, Detection and Resolution: A Supervisory Control Approach
Interactions among secrecy models - (Work-in-progress paper)
Detecting Feature Interactions on Relational Specifications
A Policy Architecture for Enhancing and Controlling Features
Software Security Vulnerabilities Seen As Feature Interactions
Feature Diagrams for Change-Oriented Programming
Service Interaction in Next Generation Networks: Challenges and Opportunities
Feature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UK
Restructuring the problem of feature interaction: Has the approach been validated? Experience with an advanced telecommunications application for personal mobility
Feature Combination and Interaction Detection via Foreground/Background Models
Modeling Interactions in Feature Oriented Software Designs
Plug-and-Play Composition of Features and Feature Interactions with Statechart Diagrams
An Optimization Technique for Feature Interaction Test Generation
Ideal Address Translation: Principles, Properties, and Applications
Immaturity and Potential of Formal Methods: A Personal View
Evaluation of a State-Based Model of Feature Interactions
Feature Disambiguation
Feature Interaction Detection in the Feature Language Extensions
Towards Automated Resolution of Undesired Interactions Induced by Data Dependency
Service specification and validation in the context of the home
SCF3/Sculptor with Chisel: Requirements Engineering for Communications Services
Formalisation of Requirements with Emphasis on Feature Interaction Detection
The feature construct for SMV: Semantics
A Platform for Modelling Feature Interaction Detection and Resolution Techniques
Feature Interaction Filtering with Use Case Maps at Requirements Stage
Web Services Feature Interaction Detection Based on Graph Transformation - A New Interaction Detection Method (work-in-progress paper)
An Environment for Interactive Service Specification
Second Feature Interaction Contest
The PADRES Distributed Publish/Subscribe System
A building block approach to detecting and resolving interactions
Using an architecture to help beat feature interaction
Experiences with a Service Environment for Distributed Multimedia Applications
Specifying features and analysing their interactions in a LOTOS environment
An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications
Considering Feature Interactions in Product Lines: Towards the Automatic Derivation of Dependencies between Product Variants
A Natural Language Processing Approach for Avoidance of Feature Interactions
The Use of Rollback to Prevent Incorrect Operation of Features in Intelligent Network Based Systems
eSERL: Feature Interaction Management in Parlay/OSA using Composition Constraints and Configuration Rules
Configuring Members of a Family of Requirements Using Features
Writing Reusable Feature Programs with the Feature Language Extensions
Policy Conflicts in Home Care Systems
Automatic Deleting Specification Errors which Cause Miss-Detection of Feature Interaction
Problem-Solution Feature Interactions as Configuration Knowledge in Distributed Runtime Adaptations
Model Inference Approach for Detecting Feature Interactions in Integrated Systems
Considering Online Feature Interaction Detection and Resolution for Integrated Services in Home Network System
Feature Interaction Detetion Contest
Validating Architectural Feature Descriptions using LOTOS
Resolving Feature Interaction with Precedence Lists in the Feature Language Extensions
Sensor Network Policy Conflicts
Representing and Verifying Intentions in Telephony Features Using Abstract Data Types
Role of Service Management in Service Interaction Handling in an IN Environment
A Framework on Feature Interactions in Optical Network Protocols
Use case driven analysis of feature interactions
Feature Interactions in Telecommunications and Software Systems VIII, ICFI'05, 28-30 June 2005, Leicester, UK
Foundations for Features
Mechanism for 3-way Feature Interactions Occurrence and a Detection System Based on The Mechanism
A Feature Interaction View of License Conflicts
The Periphery, Context and Intent: Architectural Considerations in the Design of Interactive Appliances
Observers in the SCE and the SEE to Detect and Resolve Services Interactions
Formal Analysis of Smart Home Policies using Compositional Verification
New Service Creation via Brokering and Mediation
Reducing the Feature Interaction Problem in Communication Systems Using an Agent-Based Architecture
Feature Interactions in Aspect-Oriented Scenario Models
Towards automated detection of feature interactions
Feature Interaction: A Software Perspective
An Interaction-Avoiding Call Procesing Model
Telephony Feature Validation against Eventuality Properties and Interaction Detection based on a Statistical Analysis of the Time to Service
Feature Interaction Problem in Computer-Telephony Integration Systems
Feature Interaction Management for Public Switched Networks
Identifying Resolution Choices for an Online Feature Manager
What Use are Formal Design and Analysis Methods to Telecommunications Services?
Feature Interactions in Software and Communication Systems IX, International Co nference on Feature Interactions in Software and Communication Systems, ICFI 2007, 3-5 September 2007, Grenoble, France
Automatic Detection of Feature Interactions in Temporal Logic
A Taxonomy for Triggered Interactions Using Fair Object Semantics
Automatic Reconfiguration for Runtime Feature-Interaction Resolution in an Object-Oriented Environment
Hybrid Solutions to the Feature Interaction Problem
Composing Features by Managing Inconsistent Requirements
Feature Interactions in Telecommunications and Software Systems V, September 29 - October 1, 1998, Malmö, Sweden
Generic Semantics of Feature Diagrams Variants
Feature Interactions in Web Services
Feature Interactions in Electronic Mail
Feature Interaction Testing: An Industrial Perspective (Industrial Report)
Feature Interaction Problems in Middleware Services
Goal-Oriented Feature Interaction Detection in the Intelligent Network Model
Handling Feature Interactions in the Language for End System Services
Feature Interactions Induced by Data Dependencies among Entity Components
Feature Interactions in Software and Communication Systems X, International Conference on Feature Interactions in Software and Communication Systems, ICFI 2009, 11-12 June, 2009, Lisbon, Portugal
Addressing Feature Interactions During Service Creation
A New Proposal for Feature Interaction Detection and Elimination
Results of the Second Feature Interaction Contest
Categorizing and Prioritizing Telephony Features
Feature-Interaction Visualisation and Resolution in an Agent Environment
Methods for Designing SIP Features in SDL with Fewer Feature Interactions
Policy Conflict Filtering for Call Control
Online Detection of Feature Interactions of CPL Services
Representing New Voice Services and Their Features
Feature Interactions in Telecommunications Networks IV, June 17-19, 1997, Montréal, Canada
Next Generation Service Creation: Process, Methodology, and Tool Integration
Classification, detection and resolution of service interactions in telecommunication services
Feature Interactions in Object-Oriented Effect Systems from a Viewpoint of Program Comprehension - ((W) work-in-progress paper)
Quality Issues in Software Product Lines: Feature Interactions and Beyond
Families of Formal Requirements in Telephone Switching
Detecting feature interactions in the Intelligent Network
Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS
Interaction detection, a logical approach
Feature Interaction as a Context Sharing Problem
A Heuristic Approach to Detect Feature Interactions in Requirements
Handling Policy Conflicts in Call Control
Managing Feature Interaction by Documenting and Enforcing Dependencies in Software Product Lines
An Architectural Foundation for Relating Features
Feature Interactions in Integrated Services of Networked Home Appliances: An Object-Oriented Approach
A feature interaction benchmark for IN and beyond
Feature Interaction: An Industrial Perspective
Impact of Aspect-Oriented Software Development on Test Cases
Towards a formal model for incremental service specification and interaction management support
Considering Side Effects in Service Interactions in Home Automation - an Online Approach
IMS Service Broker Feasibility Study in 3GPP Release 8 (Industrial Report)
An Exercise in Using Constructive Proof Systems to Address Feature Interactions in Telephony
The negotiating agents approach to runtime feature interaction resolution
Feature Interactions in Telecommunications and Software Systems VII, June 11-13, 2003, Ottawa, Canada
Feature Interaction Detection in Building Control Systems by Means of a Formal Product Model
Features as Constraints
Conflict Detection in Call Control Using First-Order Logic Model Checking
Petri-Net Based Detection Method for Non-Deterministic Feature Interactions and its Experimental Evaluation
Models for Feature Descriptions and Interactions
Detecting policy conflicts by model checking UML state machines
Generalising Feature Interactions in Email
Resolving Feature Interactions Using Modular Supervisory Control with Priorities
Service Interaction Research in Emerging IEEE NGSON Standards (Industrial Report)
Considering Safety and Feature Interactions for Integrated Services of Home Network System
A Formal Approach for Definition and Detection of Feature Interactions
Feature Interactions in the New World
Avoiding Feature Interactions in the Users' Interface
Feature-Interaction Resolution Using Fuzzy Policies
Service Validation and Testing
Consistent Interaction Detection - A Comprehensive Approach Integrated with Service Creation
Policy Issues for Pervasive Systems
Artificial Immune-based Feature Interaction Detection and Resolution for Next Generation Networks
A Detection Method Developed after a Thorough Study of the Contest Held in 1998
Detecting Script-to-Script Interactions in Call Processing Language
Business Driven Microservice Design - An Enterprise Ontology Based Approach to API Specifications
Formal Specification of DEMO Process Model and Its Submodel - Towards Algebra of DEMO Models
A Case Study on Enterprise Transformation in a Medium-Size Japanese IT Service Provider: Business Process Change from the Ontological Perspective
Objectifying Value Co-creation - An Exploratory Study
Generation of Stakeholder-Specific BPMN Models
Formalizing Organization Implementation
Identifying Scenarios to Guide Transformations from DEMO to BPMN
Understanding Architecture Principles as Working Mechanisms
A Design Evaluation of an Extension to the DEMO Methodology
The Institutional Logic of Harmonization: Local Versus Global Perspectives
Building an Evolvable Prototype for a Multiple GAAP Accounting Information System
Towards a FAIR-ready Data Value Chain for Dataspaces
Blockchain as a Tool For Effective Value Co-Creation Strategy Realization: An Application to an Insurance Case
Supporting Goal-Oriented Organizational Implementation - Combining DEMO and Process Simulation in a Practice-Tested Method
Enterprise Dynamic Systems Control Enforcement of Run-Time Business Transactions
DEMO as a Tool of Value Co-creation Strategy Realization
A critical investigation of TOGAF - based on the enterprise engineering theory and practice
Advances in Enterprise Engineering XVI - 12th Enterprise Engineering Working Conference, EEWC 2022, Leusden, The Netherlands, November 2-3, 2022, Revised Selected Papers
Advances in Enterprise Engineering XV - 11th Enterprise Engineering Working Conference, EEWC 2021, Virtual Event, November 12, 2021, and December 16-17, 2021, Revised Selected Papers
(short paper) The fastest way to influence and teach a specific age group how to read and understand process models; PhD proposal
Combining DEMO and Normalized Systems for Developing Agile Enterprise Information Systems