8023 search results - page 386 / 1605 » Internet Technology |
170
click to vote
EPEW
2006
Springer
15 years 8 months ago
2006
Springer
We present a stochastic process algebra including immediate actions, deadlock and termination, and explicit stochastic delays, in the setting of weak choice between immediate actio...
160
click to vote
APWEB
2008
Springer
15 years 8 months ago
2008
Springer
The study of a national Web graph is challenging and can provide insight into social phenomena specific to a country. However, because there is no country border in the Web, decidi...
178
click to vote
ECOWS
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present a framework providing integrity and authentication for secure workflow computation based on BPEL Web Service orchestration. We address a recent cryptogra...
192
click to vote
EPEW
2008
Springer
15 years 8 months ago
2008
Springer
We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We reali...
200
click to vote
EPEW
2008
Springer
15 years 8 months ago
2008
Springer
Currently compilers contain a large number of optimisations which are based on a set of heuristics that are not guaranteed to be effective to improve the performance metrics. In th...