共 50 条
- [41] Constraint-Based Refactoring ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2018, 40 (01):
- [42] An IoT based parking recommendation system considering distance and parking lot flow 12TH INTERNATIONAL CONFERENCE ON ICT CONVERGENCE (ICTC 2021): BEYOND THE PANDEMIC ERA WITH ICT CONVERGENCE INNOVATION, 2021, : 978 - 983
- [43] Embedded System Verification Through Constraint-Based Scheduling RAPID SYSTEM PROTOTYPING: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE (RSP 2013), 2013, : 73 - 79
- [44] Constraint-Based Timetabling System for the German University in Cairo APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, 2009, 5437 : 69 - 81
- [45] A constraint-based inference system for satisfying design constraints KSME INTERNATIONAL JOURNAL, 2000, 14 (06): : 655 - 665
- [46] A Constraint-Based Approach to Assigning System Components to Tasks Applied Intelligence, 1999, 10 : 155 - 172
- [47] A lean constraint-based system to support intelligent tutoring 2014 14TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED LEARNING TECHNOLOGIES (ICALT), 2014, : 52 - 53
- [48] An improved constraint-based system for the verification of security protocols STATIC ANALYSIS, PROCEEDINGS, 2002, 2477 : 326 - 341
- [49] Embedded System Verification Through Constraint-Based Scheduling 2012 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP (HLDVT), 2012, : 92 - 95
- [50] A constraint-based user interface design method for mobile computing devices 2006 1ST INTERNATIONAL SYMPOSIUM ON PERVASIVE COMPUTING AND APPLICATIONS, PROCEEDINGS, 2006, : 343 - +