4636 search results - page 439 / 928 » Modelling and Validation with VipTool |
191
click to vote
ICDE
1993
IEEE
15 years 11 months ago
1993
IEEE
In order to obtain the performance required for nonstandard database environments, we need suitable storage structures for complex objects. I n this paper we use an hierarchical c...
195
click to vote
BPM
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it ...
194
click to vote
FORTE
2007
15 years 8 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
161
click to vote
ICWSM
2008
15 years 8 months ago
2008
In this paper, we attempt to specify the influencer and the influential terms in consumer package goods by using the influence diffusion model (IDM). IDM calculates the spread of ...
163
click to vote
RIAO
2007
15 years 8 months ago
2007
Nowadays we enter the Web 2.0 era where people’s participation is a key principle. In this context, collective annotations enable to share and discuss readers’ feedback with r...