3844 search results - page 523 / 769 » Modular interpreted systems |
174
click to vote
SEFM
2007
IEEE
16 years 26 days ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
154
click to vote
CIE
2007
Springer
16 years 23 days ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
171
click to vote
CIE
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
153
click to vote
ENTER
2007
Springer
16 years 23 days ago
2007
Springer
How to reveal throughout a quantitative survey of the websites the cooperation development of a tourism destination? The analysis of the links among the tourist websites of a dest...
160
click to vote
FSTTCS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...