共 50 条
- [42] A constraint-based model of coordination in concurrent design projects PROCEEDINGS OF THE 5TH WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WET ICE '96), 1996, : 184 - 190
- [43] Research on Constraint-Based Model Reconstruction of Structural Parts 2009 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATION, VOLS 1-7, CONFERENCE PROCEEDINGS, 2009, : 1612 - +
- [44] Dynamic Discovery of Complex Constraint-based Semantic Web Services FIFTH IEEE INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC 2011), 2011, : 51 - 58
- [47] Constraint-Based Identification of Complex Gateway Structures in Business Process Models ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING (ICAISC 2018), PT II, 2018, 10842 : 788 - 798
- [48] ConLock: A Constraint-Based Approach to Dynamic Checking on Deadlocks in Multithreaded Programs 36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2014), 2014, : 491 - 502
- [49] Constraint-Based Relational Verification COMPUTER AIDED VERIFICATION (CAV 2021), PT I, 2021, 12759 : 742 - 766