1432 search results - page 99 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
158
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
126
click to vote
ICSE
2005
IEEE-ACM
15 years 9 months ago
2005
IEEE-ACM
Although attractive, CBD has not been widely adopted in domains of embedded systems. The main reason is inability of these technologies to cope with the important concerns of embe...
101
Voted
VAMOS
2007
Springer
15 years 9 months ago
2007
Springer
Software products often need to vary in terms of functionality, but also in terms of quality attributes. We describe KumbangSec, which in an approach for modelling functional and ...
158
Voted
WSC
1997
15 years 4 months ago
1997
Distributed discrete event simulation techniques aim at an acceleration of the execution of a self-contained simulation model by the spatial decomposition of that model and the co...
127
click to vote
IM
2003
15 years 4 months ago
2003
: Capacity planning is a critical task in network management. It identifies how much capacity is needed to match future traffic demand. It directly affects customer satisfaction ...