| 4 |
96-1
|
期刊論文
|
A Cross Domain Framework for SCORM Based on Web Service Architecture
|
| 5 |
91-2
|
期刊論文
|
Video presentation recording and on-line broadcasting
|
| 6 |
81-1
|
期刊論文
|
Verification of systolic architecture designs
|
| 7 |
88-1
|
期刊論文
|
Using VCR to Support Different Styles and Types of Group Collaborations in Virtual Universities
|
| 8 |
90-1
|
期刊論文
|
Universal Access for Roaming User via Mobile Agent Technology
|
| 9 |
86-2
|
期刊論文
|
Tool integration in a knowledge abstraction environment
|
| 10 |
82-1
|
會議論文
|
The use of fixed point induction in verifying systolic array designs : An applicative approach
|
| 11 |
89-1
|
期刊論文
|
Supporting Well-Engineered Web Documentation Development - a Multimedia Software Engineering Approach toward Virtual University Courseware Designs
|
| 12 |
86-1
|
期刊論文
|
Supporting the reuse of multimedia presentations
|
| 13 |
93-2
|
期刊論文
|
Super-resolution inpainting
|
| 14 |
88-1
|
期刊論文
|
Strengthen and Support the Maintenance of Object-Oriented Software
|
| 15 |
89-2
|
期刊論文
|
Shape-based Image Retrieval Using Spatio-temporal Relation Computations
|
| 16 |
85-2
|
會議論文
|
Multimedia abstract machine
|
| 17 |
86-2
|
期刊論文
|
Participator dependent multimedia presentation
|
| 18 |
83-2
|
期刊論文
|
On the construction of a prolog-based verifier for systolic array designs
|
| 19 |
85-2
|
會議論文
|
On computing temporal/spatial relations
|
| 20 |
86-2
|
期刊論文
|
On computing temporal/spatial relations
|
| 21 |
86-2
|
期刊論文
|
Multimedia abstract machine
|
| 22 |
90-1
|
期刊論文
|
Mobile agent evolution computing
|
| 23 |
93-1
|
期刊論文
|
Merging Web Brower and Interactive Video – A HyperVideo System for e-Learning and e-Entertainment
|
| 24 |
89-1
|
期刊論文
|
Macro University: A Framework for a Federation of Virtual Universities
|
| 25 |
96-1
|
期刊論文
|
Integrating SPC Table Formative Assessment with SCORM
|
| 26 |
85-2
|
期刊論文
|
Object-oriented software testing and metric in Z specification
|
| 27 |
92-1
|
期刊論文
|
Guessing by neighbors: an efficient reconstruction method for transmitting image progressively
|
| 28 |
82-1
|
期刊論文
|
Formalizing the design of systolic array designs
|
| 29 |
85-2
|
期刊論文
|
Formal specification of a graph-based object-oriented software testing
|
| 30 |
83-1
|
期刊論文
|
Formal specification and verification in Z for syncchronous concurrent compution
|
| 1 |
90-1
|
期刊論文
|
An integrated framework for recommendation system in e-commerce
|
| 2 |
82-1
|
期刊論文
|
The use of fixed point induction in verifying systolic array designs : An applicative approach
|
| 3 |
90-1
|
專書單篇
|
Multimedia abstract machine
|