9821 search results - page 154 / 1965 » A Framework for the Development of Protocols |
151
click to vote
APNOMS
2006
Springer
15 years 8 months ago
2006
Springer
This paper intends to introduce the development of a terminal agent for QoS measurement that is suitable for an NGN environment, and to summarize the results of its performance tes...
133
click to vote
SOCIALCOM
2010
15 years 2 months ago
2010
This paper describes an interactive social agent platform which examines anthropomorphic robot features in the mobile phone usage context. Our system is smart phone based robot age...
162
click to vote
WOWMOM
2009
ACM
15 years 11 months ago
2009
ACM
Abstract— Spectrum-agile radios, also known as cognitive radios, have a great potential to improve spectrum utilization by enabling dynamic access to the spectrum. A key challeng...
139
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
130
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...