Sciweavers

9095 search results - page 147 / 1819
» Service RT Systems
Sort
View
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 8 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
CCS
2001
ACM
15 years 11 months ago
Secure Open Systems for Protecting Privacy and Digital Services
This paper describes and analyzes a system architecture that enables consumers to access services and content from multiple providers without jeopardizing the privacy interests of...
David W. Kravitz, Kim-Ee Yeoh, Nicol So
HICSS
2008
IEEE
133views Biometrics» more  HICSS 2008»
16 years 28 days ago
Design of Service Systems under Variability: Research Issues
P. K. Kannan, João F. Proença