2881 search results - page 524 / 577 » Model Checking for Programming Languages using Verisoft |
145
click to vote
SIGSOFT
2002
ACM
16 years 2 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
115
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...
164
click to vote
TFM
2009
Springer
15 years 8 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
116
click to vote
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
120
click to vote
WSC
1997
15 years 3 months ago
1997
Creating comprehensive simulation models can be expensive and time consuming. This paper discusses our efforts to develop a general methodology that will allow users to quickly an...