285 search results - page 44 / 57 » An Open Platform for Business Process Modeling and Verificat... |
IANDC
2010
13 years 6 months ago
2010
There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious opera...
APCCM
2006
13 years 10 months ago
2006
Driven by the fast changing service demand-and-supply requirements, virtual organisation alliances are created to adapt highly dynamic B2B collaborations. However, the temporary p...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
Online advertising is a rapidly growing, multi-billion dollar industry. It has become a significant element of the Web browsing experience. Ad platforms used for ad selection use ...
JAVACARD
2000
14 years 15 days ago
2000
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...
GCC
2006
Springer
14 years 17 days ago
2006
Springer
With the emergence of global market and virtual enterprises, coordination of business processes in dispersed organizations by distributed workflow execution will take on more impo...