974 search results - page 101 / 195 » Formal Modeling of Communication Traces |
ENTCS
2007
14 years 11 months ago
2007
When modelling cryto-protocols by means of process calculi which express both nondeterministic and probabilistic behavior, it is customary to view the scheduler as an intruder. It...
FMCO
2007
Springer
15 years 5 months ago
2007
Springer
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
FMICS
2007
Springer
15 years 5 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
101
click to vote
SEW
2006
IEEE
15 years 5 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
FMICS
2010
Springer
15 years 24 days ago
2010
Springer
Embedded networks for chip-to-chip networks are emerging as communication infrastructure in mobile devices. We present three novel embedded network protocols: a sliding window prot...