Sciweavers

4126 search results - page 157 / 826
» Modelling Electronic Organizations
Sort
View
161
Voted
ANSS
2007
IEEE
16 years 1 months 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
190
Voted
PPOPP
2005
ACM
16 years 16 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...
147
Voted
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,...
164
Voted
ENTCS
2006
138views more  ENTCS 2006»
15 years 7 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...
170
Voted
VTS
2007
IEEE
114views Hardware» more  VTS 2007»
16 years 1 months 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...