Sciweavers

223 search results - page 42 / 45
» Object-Oriented Programming Testing Methodology
Sort
View
AUTONOMICS
2008
ACM
13 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...
CASCON
2006
118views Education» more  CASCON 2006»
13 years 9 months ago
Ensuring behavioural equivalence in test-driven porting
In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing ...
Mark Hennessy, James F. Power
ECIS
2000
13 years 9 months ago
Virtual Reality and the Tourism Product: Substitution or Complement?
this paper describes a small empirical study aimed at attempting to give an answer to the question: "will virtual reality provide a substitute for the tourism product"? I...
Silvia Sussmann, Hugo J. Vanhegan
KDD
2006
ACM
174views Data Mining» more  KDD 2006»
14 years 8 months ago
Onboard classifiers for science event detection on a remote sensing spacecraft
Typically, data collected by a spacecraft is downlinked to Earth and pre-processed before any analysis is performed. We have developed classifiers that can be used onboard a space...
Ashley Davies, Benjamin Cichy, Dominic Mazzoni, Ng...
SIGMOD
2011
ACM
297views Database» more  SIGMOD 2011»
12 years 10 months ago
Apples and oranges: a comparison of RDF benchmarks and real RDF datasets
The widespread adoption of the Resource Description Framework (RDF) for the representation of both open web and enterprise data is the driving force behind the increasing research...
Songyun Duan, Anastasios Kementsietsidis, Kavitha ...