Keyword : software system


Dependability Analysis of a Transaction-Based Multi-Server System with Rejuvenation
Hiroyuki OKAMURA Satoshi MIYAHARA Tadashi DOHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2003/08/01
Vol. E86-A  No. 8 ; pp. 2081-2090
Type of Manuscript:  PAPER
Category: Reliability, Maintainability and Safety Analysis
Keyword: 
dependabilitysoftware systemrejuvenationpreventive maintenancemulti-server systemMarkovian analysis
 Summary | Full Text:PDF(912.5KB)

Database Cache Management Algorithms of a Timing Constrained Database System in Mobile Computing Environments
Yuji WADA Tadanori MIZUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/07/25
Vol. E79-A  No. 7 ; pp. 1027-1033
Type of Manuscript:  Special Section PAPER (Special Section on Multi-dimensional Mobile Informatin Network)
Category: 
Keyword: 
databasesmobile computingmobile communicationmodeling and simulationsoftware system
 Summary | Full Text:PDF(595.6KB)

A Method for Contract Design and Delegation in Object Behavior Modeling
Hirotaka SAKAI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/06/25
Vol. E76-D  No. 6 ; pp. 646-655
Type of Manuscript:  PAPER
Category: Software Theory
Keyword: 
data and object modelingbehavior modelingintegrity constraintssoftware systemobject-oriented software design
 Summary | Full Text:PDF(862.4KB)