1317 search results - page 74 / 264 » context 2005 |
CAV
2005
Springer
14 years 2 months ago
2005
Springer
Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataflow analysis to answer “stack-qualified queries”, which answer the question “what data...
CSCWD
2005
Springer
14 years 2 months ago
2005
Springer
GOMS is a well-known model that has been successfully used in predicting the performance of humancomputer interaction, identifying usability problems and improving user-interface ...
ER
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Current UML Profiles for Business Process Modelling realise a narrow focus of the process, and capture the process flow on a low level of detail. They do not provide a co...
FC
2005
Springer
14 years 2 months ago
2005
Springer
We introduce tools to model and describe phishing attacks, allowing a visualization and quantification of the threat on a given complex system of web services. We use our new mod...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
We discuss testing methods for exposing origin-seeking bias in PSO motion algorithms. The strategy of resizing the initialization space, proposed by Gehlhaar and Fogel and made po...