Sciweavers

19342 search results - page 232 / 3869
» Decentralised Process Modelling
Sort
View
WCE
2007
15 years 8 months ago
An Approach on Micro-Cutting (Deburring) Process
— This paper presents an mathematical model that establishes the relation between the relevant cutting process parameters and surface quality, cutting forces and rate removal, in...
Catalin G. Dumitras
OTM
2007
Springer
16 years 1 months ago
Pattern-Based Design and Validation of Business Process Compliance
In this paper we present a novel approach for the modeling and implementation of Internal Controls in Business Processes. The approach is based on the formal modeling of Internal C...
Kioumars Namiri, Nenad Stojanovic
164
Voted
QEST
2008
IEEE
16 years 1 months ago
Recent Extensions to the Stochastic Process Algebra Tool CASPA
Martin Riedl, Johann Schuster, Markus Siegle
IWSEC
2007
Springer
16 years 1 months ago
Processing Multi-parameter Attacktrees with Estimated Parameter Values
Abstract. Authors extend the multi-parameter attacktree model to include inaccurate or estimated parameter values, which are modelled as probabilistic interval estimations. The pap...
Aivo Jürgenson, Jan Willemson
PATMOS
2007
Springer
16 years 1 months ago
Computation of Joint Timing Yield of Sequential Networks Considering Process Variations
Amit Goel, Sarvesh Bhardwaj, Praveen Ghanta, Sarma...