1098 search results - page 77 / 220 » System safety as an emergent property in composite systems |
152
click to vote
ENTCS
2007
15 years 6 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
165
click to vote
RTSS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
157
click to vote
CPHYSICS
2008
15 years 6 months ago
2008
The relation between atomistic structure, architecture, molecular weight and material properties is a basic concern of modern soft material science. This by now goes far beyond st...
138
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— There has been considerable work done in the study of Web reference streams: sequences of requests for Web objects. In particular, many studies have looked at the locality prop...
168
click to vote
CEC
2007
IEEE
16 years 19 days ago
2007
IEEE
— Cellular Automata (CAs) have been investigated extensively as abstract models of the distributed systems composed of autonomous entities characterized by local interaction. How...