Sciweavers

3908 search results - page 50 / 782
» A model for service-oriented communication systems
Sort
View
CSFW
1999
IEEE
15 years 10 months ago
I/O Automaton Models and Proofs for Shared-Key Communication Systems
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
Nancy A. Lynch
JSAC
2006
69views more  JSAC 2006»
15 years 6 months ago
Signal model and receiver algorithms for a transmit-reference ultra-wideband communication system
A communication system based on transmit-reference (TR) ultra-wideband (UWB) is studied and further developed. Introduced by Hoctor and Tomlinson, the aim of the TR-UWB transceiver...
Q. H. Dang, Antonio Trindade, Alle-Jan van der Vee...
DATE
2008
IEEE
103views Hardware» more  DATE 2008»
16 years 22 days ago
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli
JUCS
2008
177views more  JUCS 2008»
15 years 6 months ago
An Improved Multi-Agent Simulation Methodology for Modelling and Evaluating Wireless Communication Systems Resource Allocation A
: Multi-Agent Systems (MAS) constitute a well known approach in modelling dynamical real world systems. Recently, this technology has been applied to Wireless Communication Systems...
P. M. Papazoglou, Dimitris A. Karras, Rallis C. Pa...
E4MAS
2004
Springer
15 years 11 months ago
A Spatially Dependent Communication Model for Ubiquitous Systems
Models and conceptualizations are necessary to understand and design ubiquitous systems that are context–aware not just from a technological point of view. The current technologi...
Stefania Bandini, Sara Manzoni, Giuseppe Vizzari