2373 search results - page 60 / 475 » Towards a Model of Computer Systems Research |
140
click to vote
ACHI
2009
IEEE
15 years 9 months ago
2009
IEEE
Research on social robots is mainly comprised of research into algorithmic problems in order to expand a robot´s capabilities to improve communication with human beings. Also, a ...
117
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
The ubiquity of multicore processors in commodity computing systems has raised a significant programming challenge for their effective use. An attractive but challenging approach...
125
click to vote
DSVIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
133
click to vote
DSVIS
2008
Springer
15 years 5 months ago
2008
Springer
This paper reports on our experience in using the MuiCSer process framework for the redesign of the user interface for operating an industrial digital printing system. MuiCSer is c...
142
Voted
ERSHOV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Research in dialogue systems has been moving towards reusable and adaptable architectures for managing dialogue execution and integrating heterogeneous subsystems. In thi...