2232 search results - page 306 / 447 » Formal Modeling and Analysis of Organizations |
146
click to vote
CSFW
2007
IEEE
16 years 22 days ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
133
click to vote
BPM
2005
Springer
15 years 12 months ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
184
click to vote
CLA
2004
15 years 7 months ago
2004
Ontology design is a complex and time-consuming process. It is extremely difficult for human experts to discover ontology from given data or texts. This paper presents a semi-autom...
181
click to vote
ECIS
2000
15 years 7 months ago
2000
Event-driven Process Chains (EPCs) have been helped to achieve an important role in business process modeling by the commercial success of SAP and ARIS. Both users and IT experts m...
144
click to vote
CIDM
2007
IEEE
16 years 22 days ago
2007
IEEE
— With growing amount of data gathered nowadays, the need for efficient data mining methodologies is getting more and more common. There is a large number of different classifi...