24421 search results - page 549 / 4885 » Communicating Complex Systems |
123
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
139
Voted
ASAP
2004
IEEE
15 years 10 months ago
2004
IEEE
We explain a systematic way of interfacing data-flow hardware accelerators (IP) for their ion in a system on chip. We abstract the communication behaviour of the data flow IP so a...
153
click to vote
ICISC
1998
15 years 7 months ago
1998
Abstract. Protocols for authentication and key establishment have special requirements in a wireless environment. In the next generation of wireless systems it is likely that publi...
144
click to vote
IJEB
2008
15 years 6 months ago
2008
: Communication services are currently confronted with large changes due to the price erosion of services and the entry of new service providers. The gap has been filled with diffe...
179
click to vote
VTC
2008
IEEE
16 years 16 days ago
2008
IEEE
—In the realm of satellite communications, one of the great impairments to increase the spectral efficiency is multi-user interference in the reverse link (mobile to satellite). ...