지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
1. INTRODUCTION
2. RELATED WORK
3. PRELIMINARIES
4. THE 3-L MODEL
5. DISCUSSION OF PERFORMANCE
6. CONCLUSION
REFERENCES
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
Objectivity/C++ 에서 무결성 제약조건 확인을 위한 코드 생성
정보과학회논문지(C)
1999 .08
순환적 갱신에서 발생되는 무결성 검증 방법 ( Integrity Constraint Checking on Recursive Update )
대한전자공학회 학술대회
1993 .01
A Constraint-Based Inference System for Satisfying Design Constraints
KSME International Journal
2000 .06
휴먼 에러 체크에 의한 구조설계 연구(II)
한국안전학회지
1993 .01
상관성 있는 무결성 규칙의 검색시스템의 설계 및 구현
정보과학회논문지(C)
1997 .02
무결성 검사 트랜잭션을 위한 회복 기법
정보과학회논문지(B)
1999 .05
A Conflict Detection Method Based on Constraint Satisfaction in Collaborative Design
Journal of Computing Science and Engineering
2015 .06
Constraint Programming Approach for a Course Timetabling Problem
한국컴퓨터정보학회논문지
2017 .09
덕트설비의 BIM 기반 자동검토를 위한 규칙개발에 관한 연구
설비공학논문집
2013 .11
Design Rule Check Program의 개발 ( Development of Design Rule Check Program )
대한전자공학회 학술대회
1984 .01
Timing Constraints Analysis and Rule-Based Circuit Check for CMOS Digital Circuits
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1991 .01
Three Effective Top-Down Clustering Algorithms for Location Database Systems
Journal of Computing Science and Engineering
2010 .06
무결성 제약의 효율적 검증을 위한 최적화 방법
정보과학회논문지(B)
1996 .05
A Hierarchical SoC 구현을 위한 효율적인 Design Constraints 작성 및 검증 Flow
대한전자공학회 학술대회
2011 .06
Supporting Integrity of Mobile Agents during Transfer
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2004 .07
Constraint - based Algorithm 를 이용한 일관공정관리 시스템 개발 ( The Development of the Integrated Control System Using Constraint - based Algorithm )
한국지능정보시스템학회 학술대회논문집
1997 .06
상황과 제한 사항을 기반으로 한 이동 객체 경로 알고리즘
한국정보기술학회논문지
2010 .06
제약 데이터베이스에서의 효율적인 공간질의 처리
한국공간정보시스템학회 논문지
2009 .03
0