208 search results - page 40 / 42 » Automated Security Protocol Analysis With the AVISPA Tool |
AIME
1997
Springer
15 years 1 months ago
1997
Springer
: Clinical guidelines reuse existing clinical procedural knowledge while leaving room for flexibility by the care provider applying that knowledge. Guidelines can be viewed as gene...
CCR
2004
14 years 9 months ago
2004
Abstract-- Human error in configuring routers undermines attempts to provide reliable, predictable end-to-end performance on IP networks. Manual configuration, while expensive and ...
105
click to vote
SP
2008
IEEE
14 years 9 months ago
2008
IEEE
We have developed an environment, based upon robust, existing, open source software, for tuning applications written using MPI, OpenMP or both. The goal of this effort, which inte...
BMCBI
2008
14 years 9 months ago
2008
Background: Mass spectrometry is an essential analytical technique for high-throughput analysis in proteomics and metabolomics. The development of new separation techniques, preci...
ICSOC
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. An important architectural style for constructing enterprise applications is to use transactional workflows in SOA. In this setting, workflow activities invoke distribute...