http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Modular Construction and Composition of Distributed Software Architectures
Astley, M.; Agha, G. IEEE Computer Society 1998 p.2-12
Gorton, I. IEEE Computer Society 1998 p.13-17
Towards a Parallel Programming Language based on Commodity Object-Oriented Technologies
Matsuoka, S. IEEE Computer Society 1998 p.18-19
Contribution to the Specification in Z of Concurrency under a Non-Interleaving Semantics
Condom, J.; Ouriachi, K. IEEE Computer Society 1998 p.20-27
An Algebraic Framework for Optimizing Parallel Programs
Satoh, I. IEEE Computer Society 1998 p.28-38
Modeling Distributed Software Systems with Object Coordination Nets
Giese, H.; Graf, J.; Wirtz, G. IEEE Computer Society 1998 p.39-50
Validation and Test Generation for Object-Oriented Distributed Software
Jeron, T.; Jezequel, J.; Le Guennec, A. IEEE Computer Society 1998 p.51-60
On Checking Parallel Real-Time Systems for Linear Duration Invariants
Hung, D.; Thai, P. IEEE Computer Society 1998 p.61-71
Towards a Framework for Testing Distributed Multimedia Software Systems
Misic, V.; Chanson, S.; Cheung, S. IEEE Computer Society 1998 p.72-82
Building Parallel Runtime Systems with Active Messages
Czajkowski, G.; Chang, C.; Von Eicken, T. IEEE Computer Society 1998 p.83-93