Congratulations!
2009-6-18
恭喜實驗室三位碩二同學：光耀、笠德、彥佑通過畢業論文口試！
恭喜實驗室三位碩二同學：光耀、笠德、彥佑通過畢業論文口試！
暑期Group Meeting時間表
2009-6-15
實驗室暑期meeting從7/02開始，時間集中在週二及週四兩天，時間表請參照實驗室網站research頁面； 新生蔣涵孟同學也將開始加入group meeting報告的輪值表，新的輪值表為：李祺/招政/文賢/啟洋/柏澄/仲翔/登碩/哲生/宇程/涵孟。
To 資工所新生：由於老師要到7/02才會開始到校，有意願加入實驗室的新生們，如需找老師面談， 請先email確認時間，以免撲空；這段時間仍歡迎到實驗室找學長聊聊，了解實驗室狀況。
實驗室暑期meeting從7/02開始，時間集中在週二及週四兩天，時間表請參照實驗室網站research頁面； 新生蔣涵孟同學也將開始加入group meeting報告的輪值表，新的輪值表為：李祺/招政/文賢/啟洋/柏澄/仲翔/登碩/哲生/宇程/涵孟。
To 資工所新生：由於老師要到7/02才會開始到校，有意願加入實驗室的新生們，如需找老師面談， 請先email確認時間，以免撲空；這段時間仍歡迎到實驗室找學長聊聊，了解實驗室狀況。
Paper Acceptance!
2009-04-20
恭喜實驗室研究團隊在The 3rd IEEEInternational Symposium on Theoretical Aspects of Software Engineering
(TASE 2009) 收穫豐碩，共有兩篇論文獲得接受。
恭喜實驗室研究團隊在The 3rd IEEEInternational Symposium on Theoretical Aspects of Software Engineering
(TASE 2009) 收穫豐碩，共有兩篇論文獲得接受。•
The paper entitled "A Framework and Language Support for Automatic Dynamic
Testing of Workflow Management Systems" has been accepted as a regular paper
(accepted rate: 27%).
•
The paper entitled "Spontaneous Detection of Infinite Loops and Livelocks in
Dynamic Testing of Concurrent Programs" has been accepted for poster presentation.
Welcome to Newbies
網路運算實驗室正積極募集有志於研究工作的同學加入，已畢業的同學除了有許多 經由國防役進入工業界工作，亦有繼續進入博士班深造者。歡迎有興趣的同學至實 驗室107參觀，和學長們聊聊，或直接和黃老師面談。
網路運算實驗室正積極募集有志於研究工作的同學加入，已畢業的同學除了有許多 經由國防役進入工業界工作，亦有繼續進入博士班深造者。歡迎有興趣的同學至實 驗室107參觀，和學長們聊聊，或直接和黃老師面談。
實驗室簡介
• 實驗室名稱：網路運算實驗室
• 研究方向：
指導教授：黃冠寰 博士
位置：應用科學大樓 R107
電話：+886-2-29322411 ext 107
位置：應用科學大樓 R107
電話：+886-2-29322411 ext 107
† 實驗室資源：
- 個人電腦（每人一部）、筆記型電腦、伺服器
- 雷射印表機（HP CLJ3700dn, HP LJ4100）
- 掃描器、DVD 燒錄器、手寫繪圖板…etc.
- 雷射印表機（HP CLJ3700dn, HP LJ4100）
- 掃描器、DVD 燒錄器、手寫繪圖板…etc.
• 研究方向：
† Internet Security
- Security for XML Documents
- Security for XML-based Database System
- Security of Web Services
- Security of Service-Oriented Architecture
- Security for XML-based Database System
- Security of Web Services
- Security of Service-Oriented Architecture
† Software Engineering
- Related Issues of Reachability Testing for Concurrent Systems
- Applying Reachability Testing to Client-Server Environment and e-Commerce
- Testing of the Workflow Management System
- Applying Reachability Testing to Client-Server Environment and e-Commerce
- Testing of the Workflow Management System
† Design and Application of Groupware
- Programming Model of Groupware
- Synchronization of Groupware Systems
† Network Based Workflow Systems
- Synchronization of Groupware Systems
† Network Based Workflow Systems
- Programming Model of Workflow Management Systems
- Object-Oriented Workflow Management Systems
- Distributed Workflow Management Systems
- Object-Oriented Workflow Management Systems
- Distributed Workflow Management Systems
† Parallel Compiler and Programming Language
- Automatic Data Layout for Distributed Memory Parallel Machines
- Communication Set Generation for Data Parallel Languages
- Implementation and Theory Research about Array Operation Synthesis on Fortran 90 and HPF
- HPF Compiler Design and Implementation
- Parallel Object-Oriented Programs
- Communication Set Generation for Data Parallel Languages
- Implementation and Theory Research about Array Operation Synthesis on Fortran 90 and HPF
- HPF Compiler Design and Implementation
- Parallel Object-Oriented Programs