8486 search results - page 1270 / 1698 » Ordered Enumeration Method |
191
click to vote
FC
2009
Springer
16 years 2 months ago
2009
Springer
Attackers compromise web servers in order to host fraudulent content, such as malware and phishing websites. While the techniques used to compromise websites are widely discussed a...
259
click to vote
FM
2009
Springer
16 years 2 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
202
click to vote
ICCS
2009
Springer
16 years 2 months ago
2009
Springer
We present the living application, a method to autonomously manage applications on the grid. During its execution on the grid, the living application makes choices on the resources...
187
Voted
ICCS
2009
Springer
16 years 2 months ago
2009
Springer
Current mathematical modeling methods for the spreading of infectious diseases are too simplified and do not scale well. We present the Simulator of Epidemic Evolution in Complex ...
192
click to vote
ICIDS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. AI planning has featured in a number of Interactive Storytelling prototypes: since narratives can be naturally modelled as a sequence of actions it has been possible to e...