12084 search results - page 267 / 2417 » Effect Systems with Subtyping |
209
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...
228
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents a new model for so-called water hammer equations based on a collocation method. This model is shown to fairly represent possible leak effects in a pipeline ...
167
click to vote
BCSHCI
2008
15 years 8 months ago
2008
Mobile social awareness systems open up new social opportunities by enabling the automatic disclosure of awareness cues. We are trying to understand which cues work best to achiev...
141
click to vote
COMPUTER
2000
15 years 7 months ago
2000
To be an effective platform for performance-sensitive real-time systems, distributed object computing middleware must support application quality of service (QoS) requirements end...
167
click to vote
SYNTHESE
2008
15 years 7 months ago
2008
: Prawitz proved a theorem, formalising `harmony' in Natural Deduction systems, which showed that, corresponding to any deduction there is one to the same effect but in which ...