2810 search results - page 278 / 562 » Contract-Based Component System Design |
113
click to vote
SRDS
2007
IEEE
15 years 9 months ago
2007
IEEE
Various intrusion tolerant certification authority (CA) systems have been recently proposed to provide attack resistant certificate update/query services. However, it is difficult...
115
click to vote
ICAS
2009
IEEE
15 years 10 months ago
2009
IEEE
Policies form an important part of management and can be an effective means of implementing self-adaptation in pervasive systems. Most policy-based systems focus on large-scale ne...
149
click to vote
CLEIEJ
2006
15 years 3 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
156
click to vote
ISCI
2008
15 years 2 months ago
2008
Most modern cryptographic studies design cryptosystems and algorithms using mathematical concepts. In designing and analyzing cryptosystems and protocols, mathematical concepts ar...
136
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
A distributed software system's deployment architecture can have a significant impact on the system's dependability. Dependability is a function of various system paramet...