846 search results - page 70 / 170 » The Use of Z |
143
click to vote
AINA
2009
IEEE
16 years 5 days ago
2009
IEEE
This paper introduces a novel approach for modelling and specifying behaviors of Web services. This approach excludes Web services from any composition scenario and sheds the ligh...
149
Voted
COMPSAC
2009
IEEE
16 years 3 days ago
2009
IEEE
The advanced electric power grid is a cyber-physical system comprised of physical components such as power generators and transmission lines, and cyber components that control the...
128
Voted
ICASSP
2009
IEEE
16 years 2 days ago
2009
IEEE
Within the framework of long memory multivariate processes, fractal connectivity is a particular model, in which the low frequencies (coarse scales) of the interspectrum of each p...
130
Voted
CONCUR
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Concavely-priced probabilistic timed automata, an extension of probabilistic timed automata, are introduced. In this paper we consider expected reachability, discounted, ...
136
click to vote
ICFEM
2009
Springer
15 years 12 months ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...