1965 search results - page 249 / 393 » On the analysis of interacting pushdown systems |
161
click to vote
SIES
2009
IEEE
16 years 26 days 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...
170
click to vote
ACSD
2008
IEEE
16 years 18 days 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...
167
click to vote
CSMR
2007
IEEE
16 years 14 days 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...
155
Voted
ISMAR
2007
IEEE
16 years 12 days 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...
175
click to vote
CONTEXT
2007
Springer
16 years 9 days 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...