9821 search results - page 114 / 1965 » A Framework for the Development of Protocols |
117
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Text documents, in electronic and hardcopy forms, are and will probably remain the most widely used kind of content in our digital age. The goal of this paper is to overview proto...
119
click to vote
CSFW
2003
IEEE
15 years 9 months ago
2003
IEEE
We perform a systematic expansion of protocol narrations into terms of a process algebra in order to make precise some of the detailed checks that need to be made in a protocol. W...
123
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
We address the proof-based development of cryptographic protocols satisfying security properties. Communication channels are supposed to be unsafe. Analysing cryptographic protocol...
179
click to vote
CSREAESA
2006
15 years 5 months ago
2006
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
107
click to vote
HICSS
1999
IEEE
15 years 8 months ago
1999
IEEE
The paper introduces an Internet based development system for Xputers, which combines an application development framework with a runtime support to run applications on the real h...