13456 search results - page 91 / 2692 » Design and Development in the |
133
click to vote
RTAS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
148
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Future applications of unmanned aerial vehicles (UAVs) especially in military missions require the operation of UAVs with a high level of autonomy. Autonomous UAVs could be develo...
122
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
This article describes requirements and challenges of crossplatform multi-touch software engineering, and presents the open source framework Multi-Touch for Java (MT4j) as a solut...
121
click to vote
LREC
2010
15 years 6 months ago
2010
The increasing amount of available textual information makes necessary the use of Natural Language Processing (NLP) tools. These tools have to be used on large collections of docu...
121
Voted
INFOCOM
1999
IEEE
15 years 8 months ago
1999
IEEE
As Internet services rapidly become an essential part of the global infrastructure, it is necessary for the protocols underlying these services to be robust and failsafe. To achiev...