1286 search results - page 17 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
ECRTS
2008
IEEE
14 years 2 months ago
2008
IEEE
Existing off-line schedulability analysis for real-time systems can only handle periodic or sporadic tasks with known minimum inter-arrival times. Modeling sporadic tasks with fi...
GI
2003
Springer
14 years 22 days ago
2003
Springer
: The Byzantine failure model allows arbitrary behavior of a certain fraction of network nodes in a distributed system. It was introduced to model and analyze the effects of very s...
ICECCS
2000
IEEE
13 years 12 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
FTDCS
1997
IEEE
13 years 11 months ago
1997
IEEE
In the paper we present an overview of Saga Security System, a security architecture in open distributed systems. An agent in Saga Security System is called a Saga Agent. The auth...
CRYPTO
2005
Springer
14 years 1 months ago
2005
Springer
Motivated by the security of the nonlinear filter generator, the concept of correlation was previously extended to the conditional correlation, that studied the linear correlation...