1528 search results - page 227 / 306 » Performance Assertion Checking |
188
click to vote
IFM
2007
Springer
16 years 10 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
176
click to vote
LCPC
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Partitioned Global Address Space (PGAS) languages offer an attractive, high-productivity programming model for programming large-scale parallel machines. PGAS languages, ...
157
click to vote
MDM
2007
Springer
16 years 9 days 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...
167
click to vote
ACSAC
2006
IEEE
16 years 7 days ago
2006
IEEE
Modern malware often hide the malicious portion of their program code by making it appear as data at compiletime and transforming it back into executable code at runtime. This obf...
139
click to vote
ICMCS
2006
IEEE
16 years 7 days ago
2006
IEEE
In the integrity checking context of multimedia contents, a malicious user aims at devising a forged content in order to fool a watermarker by making him use as a genuine content....