Call for Paper
2009-12-12
The 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
(TASE 2010) 將在2010年8月25日-27日，於臺灣大學舉行。
(相關投稿訊息)
The 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
(TASE 2010) 將在2010年8月25日-27日，於臺灣大學舉行。
(相關投稿訊息)
第一屆兩岸軟體技術學術研討會 (
Congratulations!
2009-7
恭喜實驗室四位碩二同學：光耀、笠德、彥佑、招政通過畢業論文口試！
恭喜實驗室四位碩二同學：光耀、笠德、彥佑、招政通過畢業論文口試！
Paper Acceptance!
2009-04-20
恭喜實驗室研究團隊在The 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering
(TASE 2009) 收穫豐碩，共有兩篇論文獲得接受。
恭喜實驗室研究團隊在The 3rd IEEE International 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