Sciweavers

173 search results - page 20 / 35
» Modelling Quality of Protection in Outsourced Business Proce...
Sort
View
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 3 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
SOFTCOMP
2010
15 years 7 days ago
Evaluating the Low Quality Measurements in Lighting Control Systems
In real world processes in the industry or in business, where the elements involved generate data full of noise and biases, improving the energy efficiency represents one of the ma...
José Ramón Villar, Enrique A. de la ...
135
Voted
EUROSPI
2005
Springer
15 years 7 months ago
Goal-Driven Requirements Engineering for Supporting the ISO 15504 Assessment Process
It is advocated to use the ISO/IEC 15504 standard into new domains not related to Information Technology (IT), giving a powerful enterprise-wide assessment tool for quality manager...
André Rifaut
AICCSA
2006
IEEE
179views Hardware» more  AICCSA 2006»
15 years 8 months ago
Supporting the SPEM with a UML Extended Workflow Metamodel
The specification, analysis, and administration of business processes have charged great importance in this last time. This has been caused by a competitive industry necessity, dy...
Narayan C. Debnath, Daniel Riesco, Manuel Pé...
VVEIS
2007
15 years 3 months ago
Transformation of BPMN Models for Behaviour Analysis
Abstract. In industry, many business processes are modelled and stored in Enterprise Information Systems (EIS). Tools supporting the verification and validation of business process...
Ivo Raedts, Marija Petkovic, Yaroslav S. Usenko, J...