5525 search results - page 920 / 1105 » Verification of Model Transformations |
143
click to vote
RTAS
2005
IEEE
15 years 9 months ago
2005
IEEE
— Denial-of-service attacks are becoming more frequent and sophisticated. Researchers have proposed a variety of defenses, including better system configurations, infrastructure...
129
click to vote
STEP
2005
IEEE
15 years 9 months ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
130
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
2. THE MASM ALGORITHM An input to the MASM algorithm is a time-annotated multi-agent action sequence. The action sequence is then transformed into an action graph. An action graph ...
144
click to vote
ASAP
2003
IEEE
15 years 9 months ago
2003
IEEE
At the Leiden Embedded Research Center, we are developing a compiler called Compaan that automatically translates signal processing applications written in Matlab into Kahn Proces...
134
click to vote
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which...