Sciweavers

7340 search results - page 108 / 1468
» The Behavior of Tutoring Systems
Sort
View
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 7 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
OMER
2001
15 years 7 months ago
On the Behavior of Complex Object-Oriented Systems
of abstract from OMER Workshop Proceedings, Peter Hofmann and Andy Sch
David Harel
MSO
2003
15 years 7 months ago
Modeling and Simulation of Operating System Behavior
Bernd Däne, Wolfgang Fengler, Falk Berger