5525 search results - page 920 / 1105 » Verification of Model Transformations |
189
Voted
RTAS
2005
IEEE
16 years 16 days 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...
179
Voted
STEP
2005
IEEE
16 years 16 days 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...
190
click to vote
ATAL
2005
Springer
16 years 13 days 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 ...
187
Voted
ASAP
2003
IEEE
16 years 8 days 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...
178
Voted
PLDI
2003
ACM
16 years 6 days 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...