10239 search results - page 303 / 2048 » Postmodern Software Development |
168
click to vote
RTAS
2008
IEEE
16 years 1 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. ...
167
click to vote
ICDCS
2005
IEEE
16 years 9 days ago
2005
IEEE
Wireless sensor networks (WSNs) are difficult to program and usually run statically-installed software limiting its flexibility. To address this, we developed Agilla, a new midd...
170
click to vote
WSC
2008
15 years 9 months ago
2008
Simulation results are often needed within a short time frame, while the development of simulation models can be time consuming. We develop a methodology to facilitate rapid gener...
174
click to vote
ATAL
2008
Springer
15 years 8 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...
170
click to vote
INTERACT
2003
15 years 8 months ago
2003
: The paper concerns collaborative research with the twofold task of developing video streaming technology for mobile devices and exploring user experiences in mobile multimedia. T...