A formal framework for design component contracts (English)
- New search for: Jing Dong,
- New search for: Alencar, P.
- New search for: Cowan, D.
- New search for: Jing Dong,
- New search for: Alencar, P.
- New search for: Cowan, D.
In:
Proceedings Fifth IEEE Workshop on Mobile Computing Systems and Applications
;
53-60
;
2003
-
ISBN:
- Conference paper / Electronic Resource
-
Title:A formal framework for design component contracts
-
Contributors:
-
Published in:
-
Publisher:
- New search for: IEEE
-
Publication date:2003-01-01
-
Size:629473 byte
-
ISBN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
A realizable intelligent agent model applied in dynamic e-businessJi XiaoFeng, / Xu Junhua, / Zhu Hua, / Liu Zuzhao, et al. | 2003
- 8
-
Agent-based knowledge keep trackingUrrego-Giraldo, G. et al. | 2003
- 17
-
Agent-based online VAT assessmentShen, S. / O'Hare, G.M.P. / Xia, R. / Chen, G. et al. | 2003
- 24
-
Agent programming extensions relying on a component-based platformVecchiola, C. / Coccoli, M. / Boccalatte, A. et al. | 2003
- 32
-
An agent-based document composing assistantKai-Liang Chang, / Jiau. H.C., et al. | 2003
- 40
-
Spatial semantic network and agent-based framework for spatial information interoperationLuo Yingwei, / Wang Xiaolin, / Xu Zhuoqun, et al. | 2003
- 48
-
An approach to solving deadlock in multi-issue negotiationGuo Qing, / Chen Chun, et al. | 2003
- 53
-
A formal framework for design component contractsJing Dong, / Alencar, P. / Cowan, D. et al. | 2003
- 61
-
OdysseyShare: an environment for collaborative component-based developmentWerner, C. / Mangan, M. / Murta, L. / Pinheiro, R. / Mattoso, M. / Braga, R. / Borges, M. et al. | 2003
- 69
-
A supply chain model for software components managementDai, W. / Rubin, S.H. et al. | 2003
- 77
-
Precise specification matching for automated component retrieval and adaptationHai-Feng Guo, / Miao Liu, / Jiaxiong Pi, et al. | 2003
- 85
-
The design and realization of a common syntax-directed editing systemYun Bai, et al. | 2003
- 93
-
A dynamic incremental rule extracting algorithm based on the improved discernibility matrixYong Liu, / Congfu Xu, / Xuelan Li, / Yunhe Pan, et al. | 2003
- 98
-
A prediction method of fuzzy association rulesJianjiang Lu, / Baowen Xu, / Jixiang Jiang, et al. | 2003
- 104
-
Efficient processing of direction joins using R-treesYuqin Xiao, / Zonghua Li, / Ning Jing, et al. | 2003
- 112
-
A product line architecture for workflow management systems with component-based developmentGimenes, I.M.S. / Junior, E.A.O. / Lazilha, F.R. / Barroca, L. et al. | 2003
- 112
-
A Product Line Architecture for Workflow Management Systems According to the Component-based Development Approachde Souza Gimenes, I. M. / de Oliveira Junior, E. A. / Lazilha, F. R. / Barroca, L. M. / IEEE et al. | 2003
- 120
-
Context based reasoning in business process modelsBalabko, P. / Wegmann, A. et al. | 2003
- 129
-
An information model of virtual collaborationBiuk-Aghai, R.P. et al. | 2003
- 137
-
Semaphores for the neutral handling of conflicting information in an iterated knowledge fusion processGregoire, E. et al. | 2003
- 137
-
Sempahores for the neutral handling of conflicting information in an iterated knowledge fusion processGregoire, E. / IEEE et al. | 2003
- 144
-
On the Fusion and Transference of Knowledge: Part IRubin, S. / IEEE et al. | 2003
- 144
-
On the fusion and transference of knowledge. IRubin, S.H. et al. | 2003
- 150
-
On the Fusion and Transference of Knowledge: Part IIRubin, S. / IEEE et al. | 2003
- 150
-
On the fusion and transference of knowledge. IIRubin, S.H. et al. | 2003
- 160
-
The application of the system parameter fusion principle to evaluating the core competence of the corporationQiangguo Pu, / Haili Xia, / Zhengqin Wu, / Ying Liao, et al. | 2003
- 167
-
Integration and querying of distributed databasesHu, G. / Fernandes, H. et al. | 2003
- 175
-
Database selection and keyword search of structured databases: powerful search for naive usersHassan, M. / Alhajj, R. / Ridley, M.J. / Barker, K. et al. | 2003
- 183
-
Information extraction and integration from heterogeneous, distributed, autonomous information sources - a federated ontology-driven query-centric approachCastillo, J.A.R. / Silvescu, A. / Caragea, D. / Pathak, J. / Honavar, V.G. et al. | 2003
- 192
-
An ontology-extended relational algebraBonatti, P. / Deng, Y. / Subrahmanian, V.S. et al. | 2003
- 200
-
A framework for generating and maintaining global schemas in heterogeneous multidatabase systemsDuwairi, R.M. et al. | 2003
- 208
-
On computational complexity of non-reducible descriptorsValev, V. / Asaithambi, A. et al. | 2003
- 212
-
Developing evolutionary neural controllers for teams of mobile robots playing a complex gameNelson, A.L. / Grant, E. / Lee, G. et al. | 2003
- 219
-
A visualization oriented data mining tool for biomedical imagesGokhale, M. / Aslandogan, Y.A. / Taylor, S. et al. | 2003
- 227
-
Damage pattern mining in hurricane image databasesShu-Ching Chen, / Mei-Ling Shyu, / Chengcui Zhang, / Tang, W.Z. / Zhang, K. et al. | 2003
- 235
-
A Web content based data mining for car consumption preference in ChinaXiaoshu Hang, / Honghua Dai, / Youhua Zhang, et al. | 2003
- 235
-
An Web Content Based Data Mining for Car Consumption Preference in ChinaDai, H. / Zhang, Y. / IEEE et al. | 2003
- 243
-
Automatic parameter selection for polynomial kernelAli, S. / Smith, K.A. et al. | 2003
- 250
-
The 3C architecture: an XML topic maps-based framework for integrating content, context and common knowledge about multimediaBoppana, P. / Aslandogan, Y.A. et al. | 2003
- 258
-
Contextual knowledge representation, retrieval and interpretation in multimedia e-learningWeihong Huang, / Hacid, M.S. et al. | 2003
- 266
-
Intention-based image retrieval with or without a query image using eigen SGLD matricesYing Dai, et al. | 2003
- 273
-
A constrained non-negative matrix factorization in information retrievalBaowen Xu, / Jianjiang Lu, / Gangshi Huang, et al. | 2003
- 273
-
A Constrained Non-negative Matrix FactorizationXu, B. / Lu, J. / Huang, G. / Zhang, Y. / IEEE et al. | 2003
- 278
-
An architectural pattern for adaptable middleware infrastructureMitchell, J. et al. | 2003
- 285
-
A new approach to compositional adaptation based on optimizing the global distance function and its application in an intelligent tutoring systemReyhani, N. / Badie, K. / Kharrat, M. et al. | 2003
- 291
-
Using a framework in the development of an intelligent tutoring systemLelouche, R. / Ly, T.T. et al. | 2003
- 299
-
Reusing mechanical engineering designLacroix, Z. et al. | 2003
- 299
-
Reusing Mechanical Engineering DesignsLacroix, Z. / IEEE et al. | 2003
- 305
-
Multimedia watermarking with complex Hadamard transform in the inverse pyramid decompositionKountchev, R. / Milanova, M. / Ford, C. / Rubin, S. et al. | 2003
- 311
-
Using key points to improve robust reference watermarking algorithmShe Kun, / Huang Juncai, / Zhou Mingtian, et al. | 2003
- 317
-
Towards To Fuzzy Aid Decision-Making System Of The Valenciennes Transport Network ConnectionsHayat, S. / Sidi, M. M. O. / IEEE et al. | 2003
- 317
-
Towards fuzzy aid decision-making system of the Valenciennes transport network connectionsHayat, S. / Ould Sidi, M.M. et al. | 2003
- 322
-
Towards autonomic systems for lifecycle support of complex equipmentCrapo, A.W. / Aragones, A.V. / Price, J.E. / Varma, A. et al. | 2003
- 330
-
On a corporate e-commerce system design and implementationQing-bian Zhang, / Li-fang Zhang, / Smari, W.W. / Seung-yun Kim, et al. | 2003
- 338
-
An extended approach for Dempster-Shafer theoryCampos, F. / Cavalcante, S. et al. | 2003
- 345
-
Color presentation mode affects human haptic memory for rough surfacesZhaowu Luo, / Imamiya, A. et al. | 2003
- 354
-
Designing a Rubust Speech and Gaze Multimodal System for Diverse UsersZhang, Q. / Imamiya, A. / Go, K. / Mao, X. / IEEE et al. | 2003
- 354
-
Designing a robust speech and gaze multimodal system for diverse usersQiaohui Zhang, / Go, K. / Imamiya, A. / Xiaoyang Mao, et al. | 2003
- 362
-
Generalizing interface design knowledge: lessons learned from developing a claims libraryPayne, C. / Allgood, C.F. / Chewar, C.M. / Holbrook, C. / McCrickard, D.S. et al. | 2003
- 370
-
Highly-available application integrationMohamed, N. / Al-Jaroodi, J. et al. | 2003
- 377
-
A distributed platform to aeronautical applicationde Souza, E.N. et al. | 2003
- 385
-
A knowledge driven approach in leveraging Web services deliveryWei Dai, / Ning Shen, / Hawking, P. et al. | 2003
- 393
-
Study of Hybrid System Modeling Language Using XML (Dai Jianmin)Jianmin, D. / Zhong, H. / IEEE et al. | 2003
- 393
-
Study of hybrid system modeling language using XMLDai Jianmin, / Qi Huan, / Liu Yunfeng, et al. | 2003
- 398
-
Identification of Deliberately Doctored Text Documents Using The Frequency Keyword Chain (FKC) ModelKaza, S. / Murthy, S. N. J. / Hu, G. / IEEE et al. | 2003
- 398
-
Identification of deliberately doctored text documents using frequent keyword chain (FKC) modelKaza, S. / Murthy, S.N.J. / Gongzhu Hu, et al. | 2003
- 406
-
Performance evaluation studies of client-server models using SPEC Web99 benchmarksGodbole, A. / Seung-yun Kim, / Guzman, R. / Smari, W.W. et al. | 2003
- 415
-
An illegal contents tracing system based on Web robot and fingerprinting schemeHo Wook Jang, / Won-Gyum Kim, / Seon Hwa Lee, et al. | 2003
- 420
-
A Web-based expert system for vehicle registrationDemmin, A.T. / Du Zhang, et al. | 2003
- 428
-
Reducing location management costs in hierarchical-based model of mobile and wireless computing systemsSeung-yun Kim, / Smari, W.W. et al. | 2003
- 436
-
A new queuing and scheduling model under DiffServ architectureChen Yu, / Zhang Natong, / Zhang Yan Feng, et al. | 2003
- 444
-
A jitter experience: dealing with SRD and LRD background trafficMiranda, A.D.A. / Anzaloni, A. et al. | 2003
- 452
-
Research On Similarity of Stochastic Non-stationary Time Series Data based on Wavelet-FractalHui, Z. / Jianrong, H. / Bole, S. / Xiaofeng, Z. / IEEE et al. | 2003
- 452
-
Research on similarity of stochastic non-stationary time series based on wavelet-fractalZhao Hui, / Hou Jianrong, / Shi Bole, / Zhao Xiaofeng, et al. | 2003
- 458
-
A faceted approach to building ontologiesPrieto-Diaz, R. et al. | 2003
- 466
-
A New Approach for Representating and Processing Uncertainty KnowledgeJiang, Y. / Xu, C. / Liu, Y. / Zhao, K. / IEEE et al. | 2003
- 466
-
A new approach for representing and processing uncertainty knowledgeYunliang Jiang, / Congfu Xu, / Yong Liu, / Keqin Zhao, et al. | 2003
- 471
-
Lessons learned for the knowledge management systems developmentAndrade, J. / Ares, J. / Garcia, R. / Rodriguez, S. / Suarez, S. et al. | 2003
- 478
-
Facilitating KMS reusability by XML binding modelSheng-Tun Li, / Huang-Chih Hsieh, / Shu-Ching Chen, / Mei-Ling Shyu, et al. | 2003
- 485
-
Component-based design and integration of a distributed multimedia management systemShu-Ching Chen, / Mei-Ling Shyu, / Na Zhao, / Chengcui Zhang, et al. | 2003
- 485
-
Component-Based Design and Integeration of a Distributed Multimedia Management SystemChen, S.-C. / Shyu, M.-L. / Zhao, N. / Zhang, C. / IEEE et al. | 2003
- 493
-
Similar software systemsEkdahl, B. et al. | 2003
- 499
-
CMM-based software risk control optimizationXu Ruzhi, / Qian Leqiu, / Jing Xinhai, et al. | 2003
- 504
-
An approach to visualizing empirical software project portfolio data using multidimensional scalingAuer, M. / Graser, B. / Biffl, S. et al. | 2003
- 513
-
ACP model of Java multithreadingYuan Liu, / Baowen Xu, et al. | 2003
- 519
-
Towards software reuse using parameterized formal specificationsChia-Chu Chiang, et al. | 2003
- 527
-
Facilitating Reuse in Database Applications with Scenario-base Component Adaptation and GenerationWang, B. / Liu, X. / IEEE et al. | 2003
- 527
-
Facilitating reuse in database applications with scenario-based component adaptation and generationBeihu Wang, / Xiaodong Liu, / Kerridge, J. et al. | 2003
- 535
-
Information reuse and system integration in the development of a hurricane simulation systemShu-Ching Chen, / Hamid, S. / Gulati, S. / Guo Chen, / Xin Huang, / Lin Luo, / Chengjun Zhan, / Chengcui Zhang, et al. | 2003
- 543
-
Software connectors reuse in component-based systemsSmeda, A. / Oussalah, M. / Khammaci, T. et al. | 2003
- 551
-
OOEM: object-oriented energy model for embedded software reuseXiong Yue, / Zhou Xuehai, / Li Xi, / Gong Yuchang, et al. | 2003
- 551
-
OOEM: Object-Oriented Energy Model for Embedded Software IP ReuseYue, X. / Xuehai, Z. / Xi, L. / Yuchang, G. / IEEE et al. | 2003
- 559
-
Test coverage analysis based on program slicingZhenqiang Chen, / Baowen Xu, / Hongji Yang, / Huowang Chen, et al. | 2003
- 566
-
AnyLog stable design patternFayad, M.E. / Rajagopalan, J. / Ranganath, A. et al. | 2003
- 566
-
The AnyLog Design PatternFayad, M. E. / Rajagopalan, J. / Ranganath, A. / IEEE et al. | 2003
- 572
-
Distributed systems middleware architecture from a software engineering perspectiveAl-Jaroodi, J. / Mohamed, N. / Hong Jiang, et al. | 2003
- 580
-
Fractal Frameworks: Finding Sub-Themes and Implementing Sub-FrameworksBeers, T. W. / IEEE et al. | 2003
- 580
-
Fractal framework: finding sub-themes and implementing sub-frameworksBeers, T.W. et al. | 2003
- 584
-
A pattern for an effective class responsibility collaborator (CRC) cardsFayad, M.E. / Hamza, H. / Sanchez, H. et al. | 2003
- 588
-
Can safety-critical software be flexible?Fraser, S.W. et al. | 2003
- 594
-
Recovery design patternFayad, M. / Rajagopalan, J. / Hamza, H. et al. | 2003
- 601
-
The sampling analysis patternSanchez, H.A. / Binbin Lai, / Fayad, M.E. et al. | 2003
- 609
-
Agent-based knowledge logistics for coalition operations: main technologies and a case studySmirnov, A. / Pashkin, M. / Chilov, N. / Levashova, T. et al. | 2003
- 617
-
Platform-independent model templates for business process integration and management solutionsYing Huang, / Kumaran, S. / Bhaskaran, K. et al. | 2003
- 623
-
Author index| 2003
-
Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration (IRI - 2003) (IEEE Cat. No.03EX781)| 2003