409 search results - page 49 / 82 » E-Net Models of a Software System for E-Mail Security |
TASE
2008
IEEE
13 years 10 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
UML
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting concerns (such as security, reliability, n...
ICECCS
1998
IEEE
14 years 2 months ago
1998
IEEE
This paper presents the Architecture Tradeoff Analysis Method (ATAM), a structured technique for understanding the tradeoffs inherent in design. This method was developed to provi...
ICAC
2006
IEEE
14 years 4 months ago
2006
IEEE
Traditional High Performance Computing systems require extensive management and suffer from security and configuration problems. This paper presents a new clustermanagement syste...
DEXAW
2007
IEEE
14 years 4 months ago
2007
IEEE
In line with the growing success of e-commerce demands for an open infrastructure providing security services are growing stronger. Authentication and Authorisation Infrastructure...