Sciweavers

1117 search results - page 13 / 224
» A Compliance Model of Trust
Sort
View
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
14 years 11 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
BPM
2007
Springer
168views Business» more  BPM 2007»
15 years 3 months ago
Modeling Control Objectives for Business Process Compliance
Business process design is primarily driven by process improvement objectives. However, the role of control objectives stemming from regulations and standards is becoming increasin...
Shazia Wasim Sadiq, Guido Governatori, Kioumars Na...
HICSS
2002
IEEE
87views Biometrics» more  HICSS 2002»
15 years 2 months ago
Using Enterprise Reference Models for Automated ISO 9000 Compliance Evaluation
A computational enterprise model representing key facets of an organization can be an effective tool. For example, a specific organization's quality management business proce...
Henry M. Kim, Mark S. Fox
ICRA
2007
IEEE
149views Robotics» more  ICRA 2007»
15 years 4 months ago
Frictional Compliance Model Development and Experiments for Snake Robot Climbing
Abstract— Intelligently utilizing the frictional contact between a robot and its environment can prevent slip, maintain balance, and provide stability during a robot’s motion. ...
Amir Shapiro, Aaron Greenfield, Howie Choset
AGENTCL
2003
Springer
15 years 1 months ago
Model Checking for ACL Compliance Verification
Marc-Philippe Huget, Michael Wooldridge