2272 search results - page 316 / 455 » A Calculus for |
102
click to vote
ASWEC
2005
IEEE
15 years 6 months ago
2005
IEEE
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardi...
84
Voted
HICSS
2005
IEEE
15 years 6 months ago
2005
IEEE
Since 9/11, intelligence agencies in the United States have expanded experimentation and use of data mining and analysis techniques to combat terrorism. These efforts have generat...
118
Voted
HICSS
2005
IEEE
15 years 6 months ago
2005
IEEE
The goal of a Public-Key-Infrastructure (PKI) is to prove whether a cryptographic public key is authentic for a certain user. This information is crucial for the reliability of as...
122
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper describes two new bisimulation equivalences for the pure untyped call-by-value λ-calculus, called enf bisimilarity and enf bisimilarity up to η. They are based on eag...
ATVA
2005
Springer
15 years 6 months ago
2005
Springer
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...