Sciweavers

2897 search results - page 313 / 580
» Test Case Integration: From Components to Systems
Sort
View
DSRT
2008
IEEE
16 years 1 months ago
Observability Checking to Enhance Diagnosis of Real Time Electronic Systems
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
Manel Khlif, Mohamed Shawky
TMRA
2005
Springer
16 years 2 days ago
TM/XML - Topic Maps Fragments in XML
This paper describes TM/XML, an XML syntax for Topic Maps that is very close to the natural, or colloquial, XML representation of the information in the topic map. It can be used t...
Lars Marius Garshol, Dmitry Bogachev
ESWA
2006
243views more  ESWA 2006»
15 years 6 months ago
Knowledge based crime scenario modelling
A crucial concern in the evaluation of evidence related to a major crime is the formulation of sufficient alternative plausible scenarios that can explain the available evidence. ...
Jeroen Keppens, Burkhard Schafer
ECLIPSE
2005
ACM
15 years 8 months ago
IDE Support for test-driven development and automated grading in both Java and C++
Students need to learn testing skills, and using test-driven development on assignments is one way to help students learn. We use a flexible automated grading system called Web-CA...
Anthony Allowatt, Stephen Edwards
MOBISYS
2009
ACM
16 years 7 months ago
PEIR, the personal environmental impact report, as a platform for participatory sensing systems research
PEIR, the Personal Environmental Impact Report, is a participatory sensing application that uses location data sampled from everyday mobile phones to calculate personalized estima...
Min Mun, Sasank Reddy, Katie Shilton, Nathan Yau, ...