Sciweavers

9095 search results - page 147 / 1819
» Service RT Systems
Sort
View
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 5 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 8 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»
15 years 10 months ago
Design of Service Systems under Variability: Research Issues
P. K. Kannan, João F. Proença