1407 search results - page 250 / 282 » Towards Usable Analysis, Design and Modeling Tools |
157
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...
183
click to vote
CEC
2008
IEEE
16 years 7 days ago
2008
IEEE
—Much of the computational complexity in employing evolutionary algorithms as optimization tool is due to the fitness function evaluation that may either not exist or be computat...
206
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
169
click to vote
CODES
2007
IEEE
16 years 3 days ago
2007
IEEE
We address the problem of instruction selection for Multi-Output Instructions (MOIs), producing more than one result. Such inherently parallel hardware instructions are very commo...
214
click to vote
EUROSYS
2010
ACM
15 years 12 months ago
2010
ACM
The deluge of huge data sets such as those provided by
sensor networks, online transactions, and the web provide
exciting opportunities for data analysis. The scale of the
data ...