974 search results - page 74 / 195 » Formal Modeling of Communication Traces |
121
click to vote
CSFW
2008
IEEE
15 years 1 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
COLING
1992
15 years 23 days ago
1992
In this paper global patterns of thematic text organization me considered within the framework of a distributed model of text understmlding, ttased on file parsing resuhs of prior...
121
click to vote
CL
2007
Springer
14 years 11 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
108
click to vote
BIRTHDAY
2009
Springer
14 years 9 months ago
2009
Springer
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...
132
click to vote
RV
2010
Springer
14 years 9 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...