Sciweavers

1317 search results - page 74 / 264
» context 2005
Sort
View
CAV
2005
Springer
110views Hardware» more  CAV 2005»
15 years 10 months ago
Extended Weighted Pushdown Systems
Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataflow analysis to answer “stack-qualified queries”, which answer the question “what data...
Akash Lal, Thomas W. Reps, Gogul Balakrishnan
CSCWD
2005
Springer
15 years 10 months ago
Analyzing groupware design by means of usability results
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 ...
Pedro Antunes, Marcos R. S. Borges, José A....
ER
2005
Springer
135views Database» more  ER 2005»
15 years 10 months ago
A UML 2 Profile for Business Process Modelling
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...
Beate List, Birgit Korherr
FC
2005
Springer
94views Cryptology» more  FC 2005»
15 years 10 months ago
Modeling and Preventing Phishing Attacks
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...
Markus Jakobsson
GECCO
2005
Springer
107views Optimization» more  GECCO 2005»
15 years 10 months ago
Exposing origin-seeking bias in PSO
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...
Christopher K. Monson, Kevin D. Seppi