| 淡江大學 |
1999-01 |
Temporal Properties Underlying Multimedia Presentations with Z Notations
|
施國琛; Shih, Timothy K.; 葛煥昭; Keh, Huan-chao; 王英宏; Wang, Ying-hong; Kuo, Ying-feng |
| 淡江大學 |
1999 |
A multimedia documentation environment supports well-engineered software development and maintenance
|
施國琛; Shih, Timothy K.; 趙榮耀; Chow, Louis R.; 葛煥昭; Keh, Huan-chao; Lin, Yule-chyun |
| 淡江大學 |
1999 |
A VDM approach to continuation-based semantics of prolog
|
施國琛; Shih, Timothy K.; 葛煥昭; Keh, H. C.; Lin, Yule-chyun |
| 淡江大學 |
1998-12 |
An Object-Oriented Specification and Verification System for Systolic Array Designs
|
施國琛; Shih, Timothy K.; 王英宏; Wang, Ying-hong; 葛煥昭; Keh, Huan-chao |
| 淡江大學 |
1998-12 |
Mapping Complete Binary Tree Structures into a Faulty Supercube with Unbounded Expansion
|
葛煥昭; Keh, Huan-chao; Lin, Jen-chih |
| 淡江大學 |
1998-09-11 |
使用快速二維離散小波轉換於影像壓縮
|
郭經華; 葛煥昭; 周子全; 王泰山 |
| 淡江大學 |
1998-09-11 |
結合磁碟分區特性之變動速率資料擺放與擷取技術
|
郭經華; 葛煥昭; 宋立群 |
| 淡江大學 |
1998-03-25 |
An object-oriented application framework for distributed multimedia
|
Wang, Ying-hong; Chung, Chi-ming; Shih, Timothy K.; 葛煥昭; Keh, H. C.; Lin, Hung-zu |
| 淡江大學 |
1998-03 |
Data conflict resolving in distributed co-editing
|
Kuo, Chin-hwa; 葛煥昭; Keh, Huan-chao; Chio, Chia-lin |
| 淡江大學 |
1998 |
擴增性超立方體結構嵌入環狀與樹狀結構
|
葛煥昭 |
| 淡江大學 |
1997-10-12 |
Multimedia presentation designs using spatial/temporal relations
|
施國琛; Shih, Timothy K.; 莊淇銘; Chung, Chi-ming; Kuo, Chin-hwa; 葛煥昭; Keh, H. C.; 王英宏; Wang, Ying-hong; Chang, Anthony Y.; Pai, Wen C. |
| 淡江大學 |
1997-01 |
Formal specification of multimedia database modeling with Z notations
|
Shih, Timothy K.; Lin, Nancy P.; 葛煥昭; Keh, Huan-chao; Wang, Ying-hong; Lin, Yule-chyun |
| 淡江大學 |
1997 |
An integrated platform for multimedia presentation
|
Shih, Timothy K.; Chao, Louis R.; Chung, Chi-ming; 葛煥昭; Keh, Huan-chao; Wang, Ying-hong; Lin, Wei-chuan |
| 淡江大學 |
1997 |
Embedding hamiltonian cycles on incrementally extensible hypercube graphs
|
葛煥昭; Keh, Huan-chao; Chou, Po-yu; Lin, Jen-chih |
| 淡江大學 |
1996-08 |
Multicast in incrementally extensible hypercube (IEH) graphs
|
葛煥昭; Keh, Huan-chao; Chou, Po-yu; Chi, Tzong-heng |
| 淡江大學 |
1996-02 |
A linear code approach to fully recognition subcubes in processor allocation of hypercubes
|
葛煥昭; Keh, Huan-chao; Chou, Po-yu |
| 淡江大學 |
1996 |
Embedding rings onto the incrementally extensible hypercube graph
|
葛煥昭; Keh, Huan-chao; Chou, Po-yu; Lin, Jen-chih |
| 淡江大學 |
1994-03 |
C++之物體導向應用程式架構 An Object-Oriented Application Framework in C++
|
葛煥昭 |
| 淡江大學 |
1994 |
GPS導航系統之設計與實作
|
蔣定安; 葛煥昭 |
| 淡江大學 |
1993-01 |
Object-oriented design metric based on inheritance
|
葛煥昭 |
| 淡江大學 |
1993 |
C++之物體導向應用程式架構
|
葛煥昭 |
| 淡江大學 |
1992-12-13 |
Petri-net-based object-oriented modeling of graphical direct-manipulation user interface systems
|
葛煥昭 |
| 淡江大學 |
1992-07 |
Speedcode的設計和實作--一個C++物件導向應用程式架構
|
葛煥昭 |
| 淡江大學 |
1991-12 |
A quantitative analysis for different software testing criteria
|
莊淇銘; 王英宏; 葛煥昭 |
| 淡江大學 |
1991-03 |
Direct-manipulation user interface modeling with high-level petri nets
|
葛煥昭; Keh, H. C.; Lewis, T. G. |
