1320 search results - page 202 / 264 » A View Based Analysis of Workflow Modeling Languages |
DAC
2009
ACM
14 years 3 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
MKWI
2008
13 years 10 months ago
2008
: Semantic Business Process Management (SBPM) enhances BPM with semantic technologies in order to increase the degree of automation in the BPM lifecycle and help in bridging the ga...
CG
2007
Springer
13 years 9 months ago
2007
Springer
Inter-object occlusion is inherent to 3D environments and is one of the challenges of using 3D instead of 2D computer graphics for visualization. Based on an analysis of this effe...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
Personalized Web search has emerged as one of the hottest topics for both the Web industry and academic researchers. However, the majority of studies on personalized search focuse...
WECWIS
2002
IEEE
14 years 1 months ago
2002
IEEE
The current situation in the Internet service provider market shows that Internet service providers (ISPs) are still struggling to find sustainable business models. The challenge ...