nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Abstraction from constructors and functional constructors and their applications
|
Kakehi, Kazuhiko |
|
2001 |
6 |
1-2 |
p. 368-374 |
artikel |
2 |
A design method of Business Application Framework based on software patterns
|
Ke-qing, He |
|
2001 |
6 |
1-2 |
p. 204-208 |
artikel |
3 |
A glance at the middleware technology
|
Cui-hao, Zhong |
|
2001 |
6 |
1-2 |
p. 351-354 |
artikel |
4 |
A multi-agent immunology model for security computer
|
Yi-wen, Liang |
|
2001 |
6 |
1-2 |
p. 486-490 |
artikel |
5 |
An analysis method of business application framework
|
Ke-qing, He |
|
2001 |
6 |
1-2 |
p. 218-223 |
artikel |
6 |
An evolutionary algorithm to optimization of discrete problem based on pheromone
|
Zhang-can, Huang |
|
2001 |
6 |
1-2 |
p. 606-610 |
artikel |
7 |
An inversion evolutionary algorithm on how to convert FDP to TSP
|
Jing-wen, Xu |
|
2001 |
6 |
1-2 |
p. 589-592 |
artikel |
8 |
An object extraction model using association rules and dependence analysis
|
Shen-zhi, Li |
|
2001 |
6 |
1-2 |
p. 405-409 |
artikel |
9 |
An open environment for cooperative equational solving
|
Ida, Tetsuo |
|
2001 |
6 |
1-2 |
p. 169-174 |
artikel |
10 |
An overview on wavelet software packages
|
Qi-bin, Fan |
|
2001 |
6 |
1-2 |
p. 593-600 |
artikel |
11 |
Applying Logic Programming to knowledge discovery on the Internet
|
Xi, Cheng |
|
2001 |
6 |
1-2 |
p. 320-325 |
artikel |
12 |
ARK Information Systems
|
|
|
2001 |
6 |
1-2 |
p. 620 |
artikel |
13 |
A simple game for the study of trust in distributed systems
|
Diamadi, Zoë |
|
2001 |
6 |
1-2 |
p. 72-82 |
artikel |
14 |
A software pattern of the Genetic Algorithm
|
Shi, Zhuo |
|
2001 |
6 |
1-2 |
p. 209-217 |
artikel |
15 |
A software quality evaluation system: JT-SQE
|
Xiao-ying, Shi |
|
2001 |
6 |
1-2 |
p. 511-515 |
artikel |
16 |
Assigning task by parallel genetic algorithm based on PVM
|
Zhi-jun, Zheng |
|
2001 |
6 |
1-2 |
p. 579-584 |
artikel |
17 |
A study of method on connectivity analysis of between software components
|
Feng, Hu |
|
2001 |
6 |
1-2 |
p. 288-291 |
artikel |
18 |
Asynchronous nested optimization algorithms and their parallel implementation
|
Moritsch, Hans W. |
|
2001 |
6 |
1-2 |
p. 560-567 |
artikel |
19 |
A tentative research on complexity of Automatic Programming
|
Li-shan, Kang |
|
2001 |
6 |
1-2 |
p. 59-62 |
artikel |
20 |
Automatic generation of very efficient programs by Generalized Partial Computation
|
Futamura, Yoshihiko |
|
2001 |
6 |
1-2 |
p. 1-11 |
artikel |
21 |
Autonomous evolutionary information systems
|
Cheng, Jing-de |
|
2001 |
6 |
1-2 |
p. 333-339 |
artikel |
22 |
A way to build software culture: Distributed Object-Oriented Software Engineering over Internet
|
Ai-jing, Tian |
|
2001 |
6 |
1-2 |
p. 359-361 |
artikel |
23 |
Bending-rays imaging based on Genetic Algorithm
|
Huai-lin, Liu |
|
2001 |
6 |
1-2 |
p. 585-588 |
artikel |
24 |
Building distributed web GIS: a mobile-agent based approach
|
Ji-hong, Guan |
|
2001 |
6 |
1-2 |
p. 474-481 |
artikel |
25 |
China’s software industry aiming at a higher standard
|
De-hua, Ju |
|
2001 |
6 |
1-2 |
p. 355-358 |
artikel |
26 |
Code component composition reuse is a new programming paradigm
|
Shi, Ying |
|
2001 |
6 |
1-2 |
p. 292-297 |
artikel |
27 |
Comparison between CMM2 & ISO9001
|
Qiu-ling, Pan |
|
2001 |
6 |
1-2 |
p. 516-523 |
artikel |
28 |
Computer system reliability allocation method and supporting tool
|
Ke-rong, Ben |
|
2001 |
6 |
1-2 |
p. 505-510 |
artikel |
29 |
Concrete physics method for solving NP hard problem
|
Wen-qi, Huang |
|
2001 |
6 |
1-2 |
p. 140-146 |
artikel |
30 |
Database-based web page
|
Dan-xi, Liang |
|
2001 |
6 |
1-2 |
p. 443-447 |
artikel |
31 |
Data mining and neural network techniques in case based system
|
Zhi-wei, Ni |
|
2001 |
6 |
1-2 |
p. 601-605 |
artikel |
32 |
Data model transformation in CAD system for multi-view modeling
|
Hirota, Toyohiko |
|
2001 |
6 |
1-2 |
p. 410-415 |
artikel |
33 |
Dependence analysis based on dynamic slicing for debugging
|
Zhen-qiang, Chen |
|
2001 |
6 |
1-2 |
p. 398-404 |
artikel |
34 |
Design Knowledge and Software Engineering
|
Koono, Zenya |
|
2001 |
6 |
1-2 |
p. 46-58 |
artikel |
35 |
Design of evolvable hardware for robotic navigation
|
Liu, Yong |
|
2001 |
6 |
1-2 |
p. 547-554 |
artikel |
36 |
Development and evaluation of a distance learning system based on CSCW
|
Hao, Yin |
|
2001 |
6 |
1-2 |
p. 491-494 |
artikel |
37 |
Dynamic slicing of object-oriented programs
|
Zhao, Jian-jun |
|
2001 |
6 |
1-2 |
p. 391-397 |
artikel |
38 |
Edge crossing minimization algorithm for hierarchical graphs based on Genetic Algorithms
|
Wei-xiang, Shen |
|
2001 |
6 |
1-2 |
p. 555-559 |
artikel |
39 |
E-forms in e-business
|
De-hua, Ju |
|
2001 |
6 |
1-2 |
p. 121-125 |
artikel |
40 |
Engineering bioinformatics
|
Guo, Yike |
|
2001 |
6 |
1-2 |
p. 611 |
artikel |
41 |
ERP solution for large & medium state firms
|
Zhang, Philip N. |
|
2001 |
6 |
1-2 |
p. 612-618 |
artikel |
42 |
Event-based implicit invocation decentralized in Ada
|
Xian-zhong, Liang |
|
2001 |
6 |
1-2 |
p. 239-246 |
artikel |
43 |
Evolving objects for software engineering
|
xiao-ling, Wang |
|
2001 |
6 |
1-2 |
p. 263-267 |
artikel |
44 |
Extended UML with role modeling
|
Ke-qing, He |
|
2001 |
6 |
1-2 |
p. 175-182 |
artikel |
45 |
Federated spatial databases and interoperability
|
Jian-ya, Gong |
|
2001 |
6 |
1-2 |
p. 164-168 |
artikel |
46 |
Finding the mid-path
|
Fischer, Alice E. |
|
2001 |
6 |
1-2 |
p. 83-99 |
artikel |
47 |
From worklow to interworkflow
|
Okada, Kenichi |
|
2001 |
6 |
1-2 |
p. 63-71 |
artikel |
48 |
Fujitsu’s e-Business proposal
|
Makimoto, Haruo |
|
2001 |
6 |
1-2 |
p. 147-151 |
artikel |
49 |
Generalized group signature scheme
|
Zi-chen, Li |
|
2001 |
6 |
1-2 |
p. 500-504 |
artikel |
50 |
Geo-Agents: Design and implement
|
Li, Ding |
|
2001 |
6 |
1-2 |
p. 451-459 |
artikel |
51 |
Gradient Gene Algorithm: a fast optimization method to MST problem
|
Jin-bo, Zhang |
|
2001 |
6 |
1-2 |
p. 535-540 |
artikel |
52 |
Hierarchical classification of Chinese documents based onN-grams
|
Shui-geng, Zhou |
|
2001 |
6 |
1-2 |
p. 416-422 |
artikel |
53 |
Inferring requirement goals from model implemented in UML
|
Sheng-qun, Tang |
|
2001 |
6 |
1-2 |
p. 229-233 |
artikel |
54 |
Inverse computation and the Universal Resolving Algorithm
|
Abramov, Sergei |
|
2001 |
6 |
1-2 |
p. 31-45 |
artikel |
55 |
Jasmine2000 The Comprehensive e-Business Solution
|
|
|
2001 |
6 |
1-2 |
p. 619 |
artikel |
56 |
Loop peeling based on quasi-invariance/induction variables
|
Song, Litong |
|
2001 |
6 |
1-2 |
p. 362-367 |
artikel |
57 |
Matching strategies and fuzzy URLs in web-based component retrieving
|
Ying, Wang |
|
2001 |
6 |
1-2 |
p. 283-287 |
artikel |
58 |
Modeling digital video database system with UML
|
Jun-qing, Yu |
|
2001 |
6 |
1-2 |
p. 234-238 |
artikel |
59 |
Multi-granularity page size support for Linux and the performance evaluation
|
Shimizu, Naohiko |
|
2001 |
6 |
1-2 |
p. 347-350 |
artikel |
60 |
New refinement relations of Z specifications for multiple viewpoints oriented requirements method
|
Yan-xiang, He |
|
2001 |
6 |
1-2 |
p. 304-312 |
artikel |
61 |
New trend of database for the internet era
|
Kanda, Takashi |
|
2001 |
6 |
1-2 |
p. 110-120 |
artikel |
62 |
Object replication and CORBA fault-tolerant object service
|
Yao-ming, Yeh |
|
2001 |
6 |
1-2 |
p. 268-277 |
artikel |
63 |
On the Consortium for Business Object Promotion (CBOP)
|
Horiuchi, Hajime |
|
2001 |
6 |
1-2 |
p. 25-30 |
artikel |
64 |
Parallel algorithm in Surface wave waveform inversion
|
Xiao-lin, Cao |
|
2001 |
6 |
1-2 |
p. 574-578 |
artikel |
65 |
Parallel computing of Ocean General Circulation Model
|
Li-Iun, Zhang |
|
2001 |
6 |
1-2 |
p. 568-573 |
artikel |
66 |
PORLES: A parallel object-relational database system
|
Yong-qiang, Sun |
|
2001 |
6 |
1-2 |
p. 100-109 |
artikel |
67 |
Preface
|
Shing, Ying |
|
2001 |
6 |
1-2 |
p. n1 |
artikel |
68 |
Programming with conditionals: Epistemic Programming for scientific discovery
|
Cheng, Jing-de |
|
2001 |
6 |
1-2 |
p. 326-332 |
artikel |
69 |
Reflective State pattern with dynamic constructiveness
|
Hong, Jiang |
|
2001 |
6 |
1-2 |
p. 191-199 |
artikel |
70 |
Registering different DBMSs to Panorama with CORBA
|
Mudar, Sarem |
|
2001 |
6 |
1-2 |
p. 423-431 |
artikel |
71 |
Remolding diversified objects in Ada95: Toward A-object pattern
|
Xian-zhong, Liang |
|
2001 |
6 |
1-2 |
p. 247-255 |
artikel |
72 |
Representation and adaptive transformation of reusable software components
|
Zheng-quan, Xu |
|
2001 |
6 |
1-2 |
p. 298-303 |
artikel |
73 |
Restructuring C programs into C++ programs
|
Ying, Zhang |
|
2001 |
6 |
1-2 |
p. 256-262 |
artikel |
74 |
Role modeling: A modeling method for software pattern at knowledge level
|
Yong-song, Xu |
|
2001 |
6 |
1-2 |
p. 200-203 |
artikel |
75 |
Routing protocols for transmitting large databases or multi-databases systems
|
Hong, He |
|
2001 |
6 |
1-2 |
p. 448-450 |
artikel |
76 |
Scaling up the DBSCAN algorithm for clustering large spatial databases based on sampling technique
|
Ji-hong, Guan |
|
2001 |
6 |
1-2 |
p. 467-473 |
artikel |
77 |
Scheduling in a meta search engine by Genetic Algorithm
|
Wei-feng, Zhang |
|
2001 |
6 |
1-2 |
p. 541-546 |
artikel |
78 |
Softev: UML-based PSEE environment
|
Qiu-ling, Pan |
|
2001 |
6 |
1-2 |
p. 524-530 |
artikel |
79 |
Software engineering technology for the 21st century
|
Hu, Cheng |
|
2001 |
6 |
1-2 |
p. 152-158 |
artikel |
80 |
Software process modeling with UML in development of medical insurance MIS
|
Si-guang, Li |
|
2001 |
6 |
1-2 |
p. 224-228 |
artikel |
81 |
Software technology for e-commerce era
|
Chou, Chen-shing |
|
2001 |
6 |
1-2 |
p. 159-163 |
artikel |
82 |
Static analysis of Java bytecode
|
Zhao, Jian-jun |
|
2001 |
6 |
1-2 |
p. 383-390 |
artikel |
83 |
Structural indexing for 3D solid digital library
|
Shui-hua, Han |
|
2001 |
6 |
1-2 |
p. 438-442 |
artikel |
84 |
Study on Agent-based methods for concurrency control in CSCW
|
Hu, Li |
|
2001 |
6 |
1-2 |
p. 495-499 |
artikel |
85 |
Supercompiler Scp4: Use of quasi-distributive laws in program transformation
|
Nemytykh, Andrei P. |
|
2001 |
6 |
1-2 |
p. 375-382 |
artikel |
86 |
The application of geographic information system on telecommunication cable management system
|
Hong-bo, He |
|
2001 |
6 |
1-2 |
p. 482-485 |
artikel |
87 |
The new methodology
|
Fowler, Martin |
|
2001 |
6 |
1-2 |
p. 12-24 |
artikel |
88 |
The optimal price policy of congener software product
|
Ren-sheng, Hu |
|
2001 |
6 |
1-2 |
p. 531-534 |
artikel |
89 |
The relation of department components and activity in Spatial Information Infrastructure
|
Shan-zhen, Yi |
|
2001 |
6 |
1-2 |
p. 460-466 |
artikel |
90 |
The report of Virtual Exhibition Software development
|
Jian-xin, Yu |
|
2001 |
6 |
1-2 |
p. 340-346 |
artikel |
91 |
The research of system architecture in expert system
|
Cheng-ming, Zou |
|
2001 |
6 |
1-2 |
p. 278-282 |
artikel |
92 |
Towards a methodology for formal design and analysis of agent interaction protocols
|
Jun, Wei |
|
2001 |
6 |
1-2 |
p. 126-139 |
artikel |
93 |
Two generic frameworks of multiple viewpoints oriented requirements method and their comparison
|
Qiang, Song |
|
2001 |
6 |
1-2 |
p. 313-319 |
artikel |
94 |
Verify UML statecharts with SMV
|
Hai-yan, Chen |
|
2001 |
6 |
1-2 |
p. 183-190 |
artikel |
95 |
XIDM: A common Data Model based on XML
|
Bing, Li |
|
2001 |
6 |
1-2 |
p. 432-437 |
artikel |