670 search results - page 63 / 134 » Modeling Workflow within Distributed Systems |
112
Voted
SACMAT
2004
ACM
15 years 8 months ago
2004
ACM
Access control in enterprises is a key research area in the realm of Computer Security because of the unique needs of the target enterprise. As the enterprise typically has large ...
150
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
We present a prototype of agent-based intrusion detection system designed for deployment on high-speed backbone networks. The main contribution of the system is the integration of...
96
Voted
DSS
2007
15 years 2 months ago
2007
Process-aware information systems are typically driven by process models capturing an idealized view of the actual processes. For example, most process models assume that planned ...
139
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
128
Voted
WOA
2003
15 years 4 months ago
2003
Abstract— This paper focuses on large-scale distributed systems that can be modeled as workflows of activities sharing resources, knowledge, know-how and services. We propose a ...