Sciweavers

4126 search results - page 157 / 826
» Modelling Electronic Organizations
Sort
View
ANSS
2007
IEEE
16 years 18 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
15 years 11 months 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 16 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...