811 |
95-1
|
期刊論文
|
An Adaptive Memoryless Protocol for RFID Tag Collision Arbitration
|
812 |
86-2
|
期刊論文
|
Tool integration in a knowledge abstraction environment
|
813 |
86-2
|
期刊論文
|
Participator dependent multimedia presentation
|
814 |
90-1
|
期刊論文
|
Mobile agent evolution computing
|
815 |
86-2
|
期刊論文
|
Multimedia abstract machine
|
816 |
86-2
|
期刊論文
|
On computing temporal/spatial relations
|
817 |
86-2
|
期刊論文
|
An operational semantic approach to continuation style interpreter of logic programs
|
818 |
91-1
|
期刊論文
|
An Agent-Based Multi-Issue Negotiation System in E-Commerce
|
819 |
90-1
|
期刊論文
|
Universal Access for Roaming User via Mobile Agent Technology
|
820 |
93-1
|
期刊論文
|
Using Ontology as Scaffolding for Authoring Teaching Materials
|
821 |
91-1
|
期刊論文
|
A survey of distance education challenges and technologies
|
822 |
82-1
|
期刊論文
|
Formalizing the design of systolic array designs
|
823 |
88-1
|
期刊論文
|
Formal Specification in Software Reuse Designs: an Object-Oriented Database Example
|
824 |
83-1
|
期刊論文
|
Formal specification and verification in Z for syncchronous concurrent compution
|
825 |
92-1
|
期刊論文
|
Guessing by neighbors: an efficient reconstruction method for transmitting image progressively
|
826 |
85-2
|
期刊論文
|
Integration Object-Oriented Software Testing and Metrics
|
827 |
93-1
|
期刊論文
|
Context-aware privacy and security agents for distance education
|
828 |
83-1
|
期刊論文
|
An operational semantics approach to disciplined exceptions in logic programming
|
829 |
87-1
|
期刊論文
|
An Object-Oriented Specification and Verification System for Systolic Array Designs
|
830 |
87-1
|
期刊論文
|
An Object-Oriented Design Complexity Metric Based on Inheritance Relationships
|
831 |
86-1
|
期刊論文
|
A Z Specification Approach to Multimedia Modeling
|
832 |
87-1
|
期刊論文
|
A Control and Data Abstraction Approach for Multimedia Presentation
|
833 |
96-2
|
期刊論文
|
A New WSD approach using word ontology and concept distribution
|
834 |
87-1
|
期刊論文
|
A VDM approach to continuation-based semantics of prolog
|
835 |
83-1
|
期刊論文
|
A Temporal Arithmetic Based Reasoning System for Systolic Array Designs
|
836 |
93-1
|
期刊論文
|
A Smart Courseware System for Distance Education
|
837 |
87-1
|
期刊論文
|
A multimedia documentation environment supports well-engineered software development and maintenance
|
838 |
88-2
|
期刊論文
|
The complexity measurement of software through program decomposition
|
839 |
95-2
|
期刊論文
|
Word sense disambiguation and the semantic internet search
|
840 |
90-2
|
期刊論文
|
Web learning assessment and adaptive tutoring
|