1697 search results - page 216 / 340 » Social-Networks Connect Services |
196
click to vote
DSRT
2005
IEEE
16 years 2 days ago
2005
IEEE
This document presents a simulation-based method for the development of real time embedded systems. This kind of system is really sensitive to the communication with external envi...
132
click to vote
IWQOS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Emerging Metro Ethernets create new opportunities to converge data and telephony services. However, to connect legacy telephony equipment, networks have to meet customary...
173
click to vote
KIVS
2005
Springer
15 years 12 months ago
2005
Springer
: Today, most peer-to-peer networks are specialised for sharing files, mostly video and audio files. In this paper we describe a peer-to-peer network we are currently implementin...
175
click to vote
GI
2004
Springer
15 years 12 months ago
2004
Springer
: Nowadays our world becomes more and more connected, and sensors and any kind of mobile (e.g. cell phones, PDAs) and fixed computational devices are linked together through wired...
198
click to vote
CSFW
1995
IEEE
15 years 10 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...