2853 search results - page 52 / 571 » A platform for software engineering research |
ARCS
2006
Springer
15 years 1 months ago
2006
Springer
: This paper presents the study of modifying a legacy single-issue DSP processor to provide real-time processing capacity for emerging multimedia applications. The latest video com...
SIGADA
2005
Springer
15 years 3 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
INFSOF
2008
14 years 9 months ago
2008
Citations and related work are crucial in any research to position the work and to build on the work of others. A high citation count is an indication of the influence of specific...
ICSEA
2007
IEEE
15 years 4 months ago
2007
IEEE
Research in context-aware user interfaces aims to improve human-computer interaction by providing more effective, smarter and user-friendlier solutions for computer applications. ...
KR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract The emerging area of intelligent unmanned aerial vehicle (UAV) research has shown rapid development in recent years and offers a great number of research challenges for ar...