Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003
Latest Publications

TOTAL DOCUMENTS

107

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0769520200

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A synergistic interweaving of formal and informal methods

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 ◽

10.1109/cmpsac.2003.1245351 ◽

2004 ◽

Author(s):

WL Yeung ◽

K.R.P.H. Leung

Download Full-text

Implementation of nonstop software update for client-server applications

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 ◽

10.1109/cmpsac.2003.1245370 ◽

2004 ◽

Author(s):

Wen-Kang Wei ◽

Kuo-Feng Ssu ◽

H.C. Jiau

Keyword(s):

Software Update ◽

Client Server

Download Full-text

Mediating electronic meetings

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 ◽

10.1109/cmpsac.2003.1245344 ◽

2004 ◽

Cited By ~ 2

Author(s):

Jia Zhang ◽

Ck. Chang ◽

Jen-Yao Chung

Keyword(s):

Electronic Meetings

Download Full-text

A pattern language model for framework development

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 ◽

10.1109/cmpsac.2003.1245414 ◽

2004 ◽

Author(s):

Liu Wu-dong ◽

He Ke-qing ◽

Yingshi ◽

Xu Hui ◽

Jiang Yi-xing

Keyword(s):

Language Model ◽

Pattern Language ◽

Framework Development

Download Full-text

Context aware deployment for mobile users

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 ◽

10.1109/cmpsac.2003.1245324 ◽

2004 ◽

Cited By ~ 5

Author(s):

C. Taconet ◽

E. Putrycz ◽

G. Bernard

Keyword(s):

Mobile Users ◽

Context Aware

Download Full-text

Techniques and tools for automated safety analysis & decision support for redundancy allocation automotive systems

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 ◽

10.1109/cmpsac.2003.1245328 ◽

2004 ◽

Cited By ~ 3

Author(s):

Y. Papadopoulos ◽

C. Grante

Keyword(s):

Decision Support ◽

Safety Analysis ◽

Redundancy Allocation ◽

Automotive Systems

Download Full-text

Deductive schedulability verification methodology of real-time software using both refinement verification and hybrid automata

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 ◽

10.1109/cmpsac.2003.1245390 ◽

2004 ◽

Author(s):

S. Yamane

Keyword(s):

Real Time ◽

Hybrid Automata ◽

Verification Methodology

Download Full-text

Intelligent Web topics search using early detection and data analysis

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 ◽

10.1109/cmpsac.2003.1245399 ◽

2004 ◽

Author(s):

Ching-Cheng Lee ◽

Yixin Yang

Keyword(s):

Data Analysis ◽

Early Detection

Download Full-text

Information flows in e-government

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 ◽

10.1109/cmpsac.2003.1245405 ◽

2004 ◽

Author(s):

Tsau Young Lin

Keyword(s):

Information Flows

Download Full-text

Ad hoc software interfacing: enterprise application integration (EAI) when middleware is overkill

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 ◽

10.1109/cmpsac.2003.1245397 ◽

2004 ◽

Author(s):

A.A. Reyes ◽

J.R. Espino ◽

V. Mohan ◽

M. Nadkar

Keyword(s):

Ad Hoc ◽

Enterprise Application Integration ◽

Application Integration ◽

Enterprise Application

Download Full-text

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc

A synergistic interweaving of formal and informal methods

Implementation of nonstop software update for client-server applications

Mediating electronic meetings

A pattern language model for framework development

Context aware deployment for mobile users

Techniques and tools for automated safety analysis & decision support for redundancy allocation automotive systems

Deductive schedulability verification methodology of real-time software using both refinement verification and hybrid automata

Intelligent Web topics search using early detection and data analysis

Information flows in e-government

Ad hoc software interfacing: enterprise application integration (EAI) when middleware is overkill

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003
Latest Publications