1965 search results - page 249 / 393 » On the analysis of interacting pushdown systems |
SIES
2009
IEEE
14 years 4 months ago
2009
IEEE
—The performance estimation of complex multi-processor systems-on-chip (MPSoC) in a reasonable amount of time and with a good accuracy becomes more and more challenging due to th...
ACSD
2008
IEEE
14 years 4 months ago
2008
IEEE
In recent years it has become clear that techniques developed for concurrent programming are in fact very useful for the analysis of complex systems in biology. To some level of i...
CSMR
2007
IEEE
14 years 4 months ago
2007
IEEE
The diffusion of service oriented architectures is slowed down by the lack of enough services available for satisfying service integrator needs. Nevertheless, many features desire...
ISMAR
2007
IEEE
14 years 4 months ago
2007
IEEE
We have developed a GUI tool and a mobile MR system for reliving experiences at museums. The GUI tool was developed to provide services based on content made from activity logs an...
CONTEXT
2007
Springer
14 years 4 months ago
2007
Springer
In this paper we present an educational tool which has been designed to manage (learning) knowledge acquired from the interactions with the students, and to automatically aids educ...