22864 search results - page 202 / 4573 » An Integrated and |
115
click to vote
IH
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...
100
click to vote
MDM
2007
Springer
15 years 8 months ago
2007
Springer
Ad hoc networks rely on nodes forwarding each other’s packets, making trust and cooperation key issues for ensuring network performance. As long as all nodes in the network belo...
109
click to vote
OTM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We discuss our DLDB knowledge base system and evaluate its capability in processing a very large set of real-world Semantic Web data. Using DLDB, we have constructed the ...
93
Voted
SAFECOMP
2007
Springer
15 years 7 months ago
2007
Springer
In present-day electronic systems, application subsystems from different vendors and with different criticality levels are integrated within the same hardware. Hence, encapsulati...
133
click to vote
EUROMICRO
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...