1965 search results - page 56 / 393 » On the analysis of interacting pushdown systems |
HCI
2009
13 years 6 months ago
2009
Hierarchies have long been used as useful structuring mechanisms for organizing and managing documents. This study looks at the problem of personal digital document management in t...
HPCA
2006
IEEE
14 years 9 months ago
2006
IEEE
This paper describes the first infrastructure for integrated studies of the performance and thermal behavior of storage systems. Using microbenchmarks running on this infrastructu...
SKG
2006
IEEE
14 years 2 months ago
2006
IEEE
A new semantic pattern is proposed in this paper, which can be used by users to post questions and answers in user-interactive question answering (QA) system. The necessary proced...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a prior...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
Multimedia applications for mobile devices, such as video/audio streaming, process streams of incoming data in a regular, predictable way. Content-aware optimizations through anno...