846 search results - page 70 / 170 » The Use of Z |
AINA
2009
IEEE
14 years 3 months 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...
COMPSAC
2009
IEEE
14 years 3 months 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...
ICASSP
2009
IEEE
14 years 3 months 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...
CONCUR
2009
Springer
14 years 3 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, ...
ICFEM
2009
Springer
14 years 3 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...