1995 search results - page 252 / 399 » Belief in Information Flow |
116
Voted
DSVIS
2003
Springer
15 years 6 months ago
2003
Springer
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
88
Voted
IOLTS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper proposes a new solution for the diagnosis of faults into embedded RAMs, currently under evaluation within STMicroelectronics. The proposed scheme uses dedicated circuit...
109
Voted
ISPAN
2002
IEEE
15 years 5 months ago
2002
IEEE
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...
100
Voted
KI
1999
Springer
15 years 5 months ago
1999
Springer
In modern societies the demand for mobility is increasing daily. Hence, one challenge to researchers dealing with traffic and transportation is to find efficient ways to model and ...
105
Voted
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
Many Web applications are based on dynamic interactions between Web components exchanging flows of information. Such a situation arises for instance in mashup systems or when moni...