10038 search results - page 512 / 2008 » Model Checking for Managers |
141
click to vote
BPM
2005
Springer
16 years 19 days ago
2005
Springer
With the new middleware IT technologies such as Web Services and peer-to-peer computing facilities, a Virtual Enterprise can be built easier achieving some problems of interoperabi...
193
click to vote
ICIC
2005
Springer
16 years 18 days ago
2005
Springer
This paper describes the architecture of a computer system conceived as an intelligent assistant for public transport management. The goal of the system is to help operators of a c...
166
click to vote
DEXAW
1997
IEEE
15 years 11 months ago
1997
IEEE
Current workflow management systems (WFMSs) are only applicable in a reliable and secure manner, if the business process (BP) to be supported is wellstructured. As ad hoc deviatio...
170
click to vote
NOMS
2010
IEEE
15 years 5 months ago
2010
IEEE
Fairness is an important management issue for peer-to-peer file sharing systems. In this paper, we study the credit system of the P2P file sharing network eMule (http://www.emule-p...
173
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
We present an algorithm for mining tree-shaped patterns in a large graph. Novel about our class of patterns is that they can contain constants, and can contain existential nodes w...