14331 search results - page 337 / 2867 » On the modeling and analysis of obligations |
168
click to vote
WSC
2007
15 years 9 months ago
2007
This paper describes the selection and automation of a method for estimating how many replications should be run to achieve a required accuracy in the output. The motivation is to...
181
click to vote
WSC
2008
15 years 9 months ago
2008
We present aspects of a simulated based system for analyzing and designing production control systems. The core of the system is a simulation of a manufacturing system operating w...
191
click to vote
EPEW
2008
Springer
15 years 8 months ago
2008
Springer
We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We reali...
168
click to vote
TVCG
2008
15 years 6 months ago
2008
In this paper we present an algorithm that operates on a triangular mesh and classifies each face of a triangle as either inside or outside. We present three example applications o...
187
click to vote
IMCSIT
2010
15 years 4 months ago
2010
The authors consider the impact of the structure of the matrix on the convergence behavior for the GMRES projection method for solving large sparse linear equation systems resultin...