194 search results - page 24 / 39 » Compositional Performability Evaluation for STATEMATE |
CHI
2005
ACM
14 years 8 months ago
2005
ACM
This paper presents X-PRT, a new cognitive modeling tool supporting activities ranging from interface design to basic cognitive research. X-PRT provides a graphical model developm...
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
This paper presents a sparse representation of 2D planar shape through the composition of warping functions, termed formlets, localized in scale and space. Each formlet subjects t...
MM
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
DSN
2005
IEEE
14 years 1 months ago
2005
IEEE
Continuous-time Markov chains (CTMCs) have been used successfully to model the dependability and performability of many systems. Matrix diagrams (MDs) are known to be a space-ef...
ESCIENCE
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract Grid services can be composed into processes, providing a high level definition of the computations involved in terms of their data exchanges and control flow dependenci...