Sciweavers

4126 search results - page 157 / 826
» Modelling Electronic Organizations
Sort
View
ANSS
2007
IEEE
16 years 25 days ago
A Typology for Resource Profiling and Modeling
A critical aspect of many simulation studies is the modeling of resources. A general typology, or multidimensional categorization, is proposed for characterizing resources. Such a...
Charles M. Jenkins, Stephen V. Rice
PPOPP
2005
ACM
16 years 1 days ago
Performance modeling and optimization of parallel out-of-core tensor contractions
The Tensor Contraction Engine (TCE) is a domain-specific compiler for implementing complex tensor contraction expressions arising in quantum chemistry applications modeling elect...
Xiaoyang Gao, Swarup Kumar Sahoo, Chi-Chung Lam, J...
ER
2006
Springer
105views Database» more  ER 2006»
15 years 10 months ago
UN/CEFACT'S Modeling Methodology (UMM): A UML Profile for B2B e-Commerce
Abstract. The United Nation's Centre for Trade Facilitation and Electronic Business (UN/CEFACT) is an e-business standardization body. It is known from its work on UN/EDIFACT ...
Birgit Hofreiter, Christian Huemer, Philipp Liegl,...
ENTCS
2006
138views more  ENTCS 2006»
15 years 6 months ago
Model Checking Russian Cards
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...
Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van...
VTS
2007
IEEE
114views Hardware» more  VTS 2007»
16 years 22 days ago
Parameter Estimation for a Model with Both Imperfect Test and Repair
We describe estimation of the parameters of a manufacturing test and repair model using data available from that test. The model allows imperfect testing and imperfect repair. The...
Simon P. Wilson, Ben Flood, Suresh Goyal, Jim Mosh...