2736 search results - page 267 / 548 » Implementable allocation rules |
170
click to vote
DFT
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes a system suited to support the Fault Injection process for microprocessor-based embedded systems. The system exploits a low-cost hardware board to monitor the...
129
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
168
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we are concerned with studying the semantic of the B modularity. We reuse the Harper-Lillibridge-Leroy (HLL) module system. This system implements an SML like module...
157
click to vote
AI
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper, we propose that the select operator in relational databases be adopted for incorporating evidence in Bayesian networks. This approach does not involve the ...
190
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
In the Eclipse JDT, the Java reference resolution rules are applied as fully as possible, thereby either determining the unique target for a given reference or signalling that the...