4166 search results - page 208 / 834 » Automating the constraining process |
115
click to vote
WSFM
2007
Springer
15 years 9 months ago
2007
Springer
We present and compare existing formalisms that consider the control of Petri net process models in the area of business processes and web services. Control has the aim to force a ...
VLDB
2001
ACM
15 years 7 months ago
2001
ACM
Over the past decade, there has been a lot of work in developing middleware for integrating and automating enterprise business processes. Today, with the growth in e-commerce and ...
116
click to vote
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
210
click to vote
ICMCS
2008
IEEE
15 years 9 months ago
2008
IEEE
Recently, advanced video processing systems have been developed for numerous applications, such as surveillance, tracking, monitoring, object and event detection. The large size o...
135
click to vote
OTM
2005
Springer
15 years 8 months ago
2005
Springer
Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are g...