Sciweavers

7918 search results - page 312 / 1584
» Model Composition Directives
Sort
View
ICWS
2008
IEEE
15 years 6 months ago
A Formal Model of Human Workflow
BPEL (Business Process Execution Language) has become the standard for specifying and executing workflow specifications for web service composition invocation. A major weakness of ...
Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang
DAGSTUHL
2006
15 years 6 months ago
Modeling and Aspect Weaving
A model is a simplified representation of an aspect of the world for a specific purpose. Complex systems typically give rise to more than one model because many aspects are to be h...
Jean-Marc Jézéquel
ENTCS
2010
120views more  ENTCS 2010»
15 years 4 months ago
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo
Credo offers tools and techniques to model and analyze highly reconfigurable distributed systems. In this paper, we present an integrated methodology to use the Credo tool suite. ...
Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. A...
ENGL
2008
216views more  ENGL 2008»
15 years 4 months ago
Application of TLM and Cassie-Mayr Arc model on Transformer Aging and Incipient Faults Simulation
Abstract--The development of the transformer insulation failure undergoes three stages: insulation aging, incipient faults and a short circuit. This paper presents a complete schem...
X. Wang, Mark Sumner, D. W. P. Thomas
150
Voted
FASE
2010
Springer
15 years 2 months ago
A Verifiable Modeling Approach to Configurable Role-Based Access Control
Role-based access control (RBAC) is a popular access control model for enterprise systems due to its economic benefit and scalability. There are many RBAC features available, each ...
Dae-Kyoo Kim, Lunjin Lu, Sangsig Kim