2232 search results - page 153 / 447 » Formal Modeling and Analysis of Organizations |
159
click to vote
ASIAN
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
154
click to vote
SAS
2007
Springer
16 years 19 days ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
201
click to vote
STEP
2003
IEEE
15 years 11 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
187
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Hybrid algorithms that combine genetic algorithms with the Nelder-Mead simplex algorithm have been effective in solving certain optimization problems. In this article, we apply a s...
192
click to vote
ESOP
2005
Springer
16 years 1 days ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...