554 search results - page 10 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
CRYPTO
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We propose a way to establish peer-to-peer authenticated communications over an insecure channel by using an extra channel which can authenticate very short strings, e.g....
VTC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—This paper studies the effect of Multiple access interference (MAI) on the performance of coded FHSS systems. This is achieved by modelling the physical channel in these...
101
click to vote
BIS
2008
14 years 11 months ago
2008
Abstract. Communities on the Web capture, represent, and evolve their knowledge using ontologies, either explicitly or implicitly. The Gene Ontology project is a typical and advanc...
CSCW
2004
ACM
15 years 3 months ago
2004
ACM
The lack of lightweight communication channels and other technical and sociological difficulties make it hard for new members of a non-collocated software development team to lea...
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The majority of research in control engineering considers periodic or time-triggered control systems with equidistant sample intervals. However, practical cases abound in...