Sciweavers

4738 search results - page 728 / 948
» Past, Present, and Future
Sort
View
AUTONOMICS
2008
ACM
15 years 9 months ago
Verification and semantic parallelization of goal-driven autonomous software
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
Damian Dechev, Nicolas Rouquette, Peter Pirkelbaue...
CISIS
2008
IEEE
15 years 9 months ago
Multi-variant Program Execution: Using Multi-core Systems to Defuse Buffer-Overflow Vulnerabilities
While memory-safe and type-safe languages have been available for many years, the vast majority of software is still implemented in type-unsafe languages such as C/C++. Despite ma...
Babak Salamat, Andreas Gal, Todd Jackson, Karthike...
CHI
2005
ACM
15 years 9 months ago
Designs for home life
In this Special Interest Group (SIG) we intend to consider the increasingly popular area of interactive systems design for the home. Aiming to incorporate a wide range of perspect...
A. J. Bernheim Brush, Leysia Palen, Laurel Swan, A...
CRV
2006
IEEE
125views Robotics» more  CRV 2006»
15 years 9 months ago
Autonomous fish tracking by ROV using Monocular Camera
- This paper concerns the autonomous tracking of fish using a Remotely Operated Vehicle (ROV) equipped with a single camera. An efficient image processing algorithm is presented th...
Jun Zhou, Christopher M. Clark
ECLIPSE
2005
ACM
15 years 9 months ago
NaCIN: an Eclipse plug-in for program navigation-based concern inference
In this paper we describe NaCIN, an Eclipse plug-in that records a developer’s code navigation activity and produces sets of elements potentially implementing different concerns...
Imran Majid, Martin P. Robillard