Showing results 181 to 200 of 7496
A formal approach to verify mapping relation in a software product line Satyananda, T.K.; Lee, Danhyung; Kang, Sungwon, CIT 2007: 7th IEEE International Conference on Computer and Information Technology, v.0, no.0, pp.934 - 939, IEEE, 2007-10-16 |
A formal C memory model supporting integer-pointer casts Kang, Jeehoon; Hur, Chung-Kil; Mansky, William; Garbuzov, Dmitri; Zdancewic, Steve; Vafeiadis, Viktor, 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2015, pp.326 - 335, ACM Special Interest Group on Programming Languages (SIGPLAN), 2015-06-16 |
A formal modeling and analysis framework for software product line of preemptive real-time systems Kim, Jin Hyun; Legay, Axel; Traonouez, Louis-Marie; Acher, Mathieu; Kang, Sungwon, 31st Annual ACM Symposium on Applied Computing, SAC 2016, pp.1562 - 1565, ACM Special Interest Group on Applied Computing (SIGAPP), 2016-04 |
A Formal Representation of Platform Feature-to-Requirement Traceability for Software Product Line Development Kang, Sung-Won; Kim, Jingyu; Kang, Sungju; Eom, Seokhwan, 2014 IEEE 38th Annual Computer Software and Application Conference (COMPSAC), IEEE, 2014-07-21 |
A Forward-Secure Blind Signature Scheme Based on the Strong RSA Assumption Duc, DN; Cheon, JH; Kim, Kwangjo, ICICS03, v.2971, no.0, pp.11 - 21, Springer-Verlag, 2003-10 |
A Four-Frames Differencing Technique for Moving Objects Detection in Wide Area Surveillance Abdelli, Ahmed; Choi, Ho-Jin, IEEE International Conference on Big Data and Smart Computing (BigComp), pp.210 - 214, Institute of Electrical and Electronics Engineers Inc., 2017-02-13 |
A Fragile Watermakring Scheme For Binary Image Authentication using Hamming Code Lee, Y; Kim, H; Park, Y; Chung, B; Yoon, Hyunsoo, 6th Asia Pacific International Symposium on Information Technology, pp.445 - 448, IEEE, 2007-01 |
A Framework for analyzing activity time data Ibrahim, Ahmad; Choi, Ho-Jin, Fourth IEEE International Symposium on Service-Oriented System Engineering (SOSE2008), pp.14 - 18, IEEE, 2008-12-18 |
A framework for dynamic inter-device task dispatch with eventual consistency Park, Jihyeok; Park, Joonyoung; Lee, Yoonkyong; Kim, Chul-Joo; Kim, Byoungoh; Ryu, Sukyoung, 2nd International Conference on Art, Science, and Engineering of Programming, Programming 2018, pp.63 - 68, Association for Computing Machinery, 2018-04-12 |
A Framework for Exchanging Heterogeneous Messages based-on Ontology Mapping 윤은채; 강성원, 2007 한국 소프트웨어공학 학술대회, pp.0 - 0, 2007 |
A framework for handling dependencies among web services transactions Choi, Seunglak; Kim, Jungsook; Jang, Hyukjae; Kim, Su Myeon; Song, Junehwa; Kim, Hangkyu; Lee, Yoon Joon, 14th International World Wide Web Conference, WWW2005, pp.1130 - 1131, Association for Computing Machinery (ACM), 2005-05-10 |
A Framework for Optimization in Expert System-DBMS Interface Whang, Kyu-Young; Brady, S, pp.126 - 133, 1988-02 |
A framework for personalized healthcare service Recommendation Lee, C.-O.; Lee, M.; Han, Dongsoo; Jung, S.; Cho, J., 2008 10th IEEE Intl. Conf. on e-Health Networking, Applications and Service, HEALTHCOM 2008, pp.90 - 95, IEEE, 2008-07-07 |
A Framework for Software Development for Distributed Parallel Computing Systems Yau, Stephan S.; Bae, Doo-Hwan; Chidambaram, Madhan, Future Trends of Distributed Computing Systems, pp.240 - 246, IEEE, 1992-04 |
A Framework for Supporting Rapid Development of the Semantic Web Application Kim, T.E.; Kim, Myoung Ho, KCC2010, Korea Computer Congress 2010, pp.72 - 77, KCC, 2010-06 |
A framework for supporting the configuration and automatic integration of heterogeneous location sensors Chung, Y.C.; Ko, Y.; Cha, Y.; Lee, DongMan, 5th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems, SEUS 2007, pp.368 - 377, 2007-05-07 |
A framework for the use of Six Sigma tools in PSP/TSP Park, Youngkyu; Choi, Ho-Jin; Baik, Jongmoon, SERA 2007: Fifth ACIS International Conference on Software Engineering Research, Management, and Applications, pp.807 - 814, IEEE Computer Society, 2007-08-20 |
A framework for the V&V capability assessment focused on the safety-criticality Yoon, Kyung-A; Park, Seunghun; Bae, Doo-Hwan; Chang, Hoon-Seon; Jung, Jae-Cheon, 13th IEEE International Workshop on Software Technology and Engineering Practice 2005, pp.17 - 24, IEEE, 2005-09-24 |
A Framework of Callbot for Dialogue Process in Seperated Network Oh, Kyo-Joong; Song, Jiha; An, Hyeongak; Choi, Ho-Jin, IEEE International Conference on Big Data and Smart Computing (BigComp), pp.362 - 364, IEEE, 2021-01 |
A Framework of Consolidated Authorization Management in e-SCM Hong, Seung-Phil; Kim, Myungchul; Kim, Kwangjo; Kim, Jinho, Conference on Applied Cryptography and Network Security, pp.0 - 0, 2003-10 |
Discover