1965 search results - page 125 / 393 » On the analysis of interacting pushdown systems |
HICSS
1997
IEEE
14 years 1 months ago
1997
IEEE
Variousproposals have been madefor new paradigms for operating the restructuring electrical system. One of the key challenges associated with this restructuring is to effectively ...
IJHPCA
2006
13 years 9 months ago
2006
Today, large scale parallel systems are available at relatively low cost. Many powerful such systems have been installed all over the world and the number of users is always incre...
HICSS
1995
IEEE
14 years 14 days ago
1995
IEEE
The complexity of group interaction means that there will be many uncertainties in the requirements for software support tools. Many existing software systems rely on the adaptabi...
HASE
1999
IEEE
14 years 1 months ago
1999
IEEE
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
ICIP
2005
IEEE
14 years 2 months ago
2005
IEEE
Automated analysis of facial images for the estimation of the displayed expression is essential in the design of intuitive and accessible human computer interaction systems. In ex...