Sciweavers

645 search results - page 88 / 129
» concurrency 2007
Sort
View
99
Voted
CJ
2007
106views more  CJ 2007»
15 years 18 days ago
A Proof of Revised Yahalom Protocol in the Bellare and Rogaway (1993) Model
Although the Yahalom protocol, proposed by Burrows, Abadi, and Needham in 1990, is one of the most prominent key establishment protocols analyzed by researchers from the computer s...
Kim-Kwang Raymond Choo
109
Voted
JCM
2007
59views more  JCM 2007»
15 years 15 days ago
QAM Resource Allocation in Mixed-Format VoD Systems
— A Quadrature Amplitude Modulation (QAM) resource allocation algorithm for Video on Demand (VoD) traffic is presented. Based on stream encoding rates and available system capaci...
Jiong Gong, David Reed, Terry Shaw, Daniel A. Viva...
JOT
2007
169views more  JOT 2007»
15 years 14 days ago
Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda ...
75
Voted
JSAC
2007
72views more  JSAC 2007»
15 years 14 days ago
Diverse: application-layer service differentiation in peer-to-peer communications
— The peer-to-peer communication paradigm, when used to disseminate bulk content or to stream real-time multimedia, has enjoyed the distinct advantage of scalability when compare...
Chuan Wu, Baochun Li
JSW
2007
156views more  JSW 2007»
15 years 14 days ago
An Automatic Test Case Generation Framework for Web Services
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...
Yongyan Zheng, Jiong Zhou, Paul Krause