Sciweavers

3216 search results - page 440 / 644
» Software engineering issues for mobile application developme...
Sort
View
SCAM
2007
IEEE
16 years 1 months ago
Finding Inputs that Reach a Target Expression
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
Matthew Naylor, Colin Runciman
156
Voted
COMPSAC
2005
IEEE
16 years 20 days ago
Buffer Overrun Prevention Through Component Composition Analysis
Buffer overrun vulnerabilities cause significant security problems, and have proven to be difficult to prevent. In this paper we present a novel approach to tackling the problem...
David Llewellyn-Jones, Madjid Merabti, Qi Shi, Bob...
172
Voted
IUI
2004
ACM
16 years 14 days ago
A plan-based mission control center for autonomous vehicles
Teams of autonomous vehicles (AVs) carry out missions in a number of fields such as space exploration and searchand-rescue. However, human supervision is still required to monito...
Gary Look, Howard E. Shrobe
IUI
2003
ACM
16 years 8 days ago
Intelligent dialog overcomes speech technology limitations: the SENECa example
We present a primarily speech-based user interface to a wide range of entertainment, navigation and communication applications for use in vehicles. The multimodal dialog enables t...
Wolfgang Minker, Udo Haiber, Paul Heisterkamp, Sve...
PPPJ
2003
ACM
16 years 8 days ago
Multi-tiered distributed computing platform
A simple programmable Java platform-independent distributed computation system has been developed to exploit the free resources on computers linked together by a network. It is a ...
Andrew J. Page, Thomas M. Keane, Richard Allen, Th...