945 search results - page 32 / 189 » Detective Information Flow Analysis for Business Processes |
BPM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Despite that formal and informal quality aspects are of significant importance to business process modeling, there is only little empirical work reported on process mode...
JDCTA
2008
13 years 7 months ago
2008
The international business environment of port logistics has changed drastically in the last few decades. The increase in international trade, advent of ultra-large vessels, chang...
FMCO
2008
Springer
13 years 9 months ago
2008
Springer
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...
DAC
1997
ACM
13 years 11 months ago
1997
ACM
A number of industry trends are shaping the requirements for IC and electronic equipment design. The density and complexity of circuit technologies have increased to a point where...
CIA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper presents a design of high-performance agentbased intrusion detection system designed for deployment on high-speed network links. To match the speed requirement...