Sciweavers

6757 search results - page 679 / 1352
» Knowledge Analysis on Process Models
Sort
View
SRDS
2008
IEEE
16 years 1 months ago
Using Tractable and Realistic Churn Models to Analyze Quiescence Behavior of Distributed Protocols
Large-scale distributed systems are subject to churn, i.e., continuous arrival, departure and failure of processes. Analysis of protocols under churn requires one to use churn mod...
Steven Y. Ko, Imranul Hoque, Indranil Gupta
CSCWD
2008
Springer
15 years 9 months ago
Development of a project level performance measurement model for improving collaborative design team work
This research explored a new direction of improving collaborative design by performance measurement. More specifically, a novel 3-dimensional performance measurement model is deve...
Yuanyuan Yin, Shengfeng Qin, Ray Holland
MDM
2009
Springer
135views Communications» more  MDM 2009»
16 years 1 months ago
Topology of the Prism Model for 3D Indoor Spatial Objects
Topological relationships between spatial objects are an essential property of spatial objects. They are used for spatial analysis and query processing. In this paper, we first i...
Joon-Seok Kim, Hye-Young Kang, Tae-Hoon Lee, Ki-Jo...
IRI
2008
IEEE
16 years 1 months ago
Model check stochastic supply chains
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
Li Tan, Shenghan Xu
SIGSOFT
2000
ACM
15 years 11 months ago
COM revisited: tool-assisted modelling of an architectural framework
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
Daniel Jackson, Kevin J. Sullivan