Sciweavers

19342 search results - page 232 / 3869
» Decentralised Process Modelling
Sort
View
WCE
2007
15 years 7 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 22 days 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
QEST
2008
IEEE
16 years 29 days ago
Recent Extensions to the Stochastic Process Algebra Tool CASPA
Martin Riedl, Johann Schuster, Markus Siegle
IWSEC
2007
Springer
16 years 22 days 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 21 days ago
Computation of Joint Timing Yield of Sequential Networks Considering Process Variations
Amit Goel, Sarvesh Bhardwaj, Praveen Ghanta, Sarma...