4270 search results - page 171 / 854 » A Permutation Approach to Validation |
136
click to vote
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
ESOP 2004, LNCS 2986, pages 140–154, 2004. c Springer–Verlag, Berlin Heildelberg 2003. We propose a new method for the static analysis of entity authentication protocols. We d...
123
Voted
CAEPIA
2007
Springer
15 years 9 months ago
2007
Springer
Many recent successful planners use domain-independent heuristics to speed up the search for a valid plan. An orthogonal approach to accelerating search is to identify and remove r...
109
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Agent-based simulation is increasingly used to analyze the performance of complex systems. There are two main ways agentbased models are built -- from equation-based models and di...
127
Voted
WSC
2008
15 years 7 months ago
2008
Emergent behaviors in simulations require explanation, so that valid behaviors can be separated from design or coding errors. Validation of emergent behavior requires accumulation...
149
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
My work has two relationships with End User Software Engineering. First, as an Empirical Software Engineer, I am interested in meeting with people who do research into techniques ...