2272 search results - page 316 / 455 » A Calculus for |
192
click to vote
ASWEC
2005
IEEE
16 years 21 days 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...
154
Voted
HICSS
2005
IEEE
16 years 21 days 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...
199
click to vote
HICSS
2005
IEEE
16 years 21 days 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...
202
Voted
LICS
2005
IEEE
16 years 20 days 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...
160
click to vote
ATVA
2005
Springer
16 years 19 days 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...