9821 search results - page 145 / 1965 » A Framework for the Development of Protocols |
157
click to vote
ISESE
2005
IEEE
2005
IEEE
Dialog-based protocol: an empirical research method for cognitive activities in software engineering
15 years 10 months ago
This paper proposes dialog-based protocol for the study of the cognitive activities during software development and evolution. The dialog-based protocol, derived from the idea of ...
117
click to vote
EUROGP
2008
Springer
15 years 6 months ago
2008
Springer
We present an approach for the automated synthesis of proactive aggregation protocols using Genetic Programming and discuss major decisions in modeling and simulating distributed a...
152
click to vote
CCS
2009
ACM
16 years 5 months ago
2009
ACM
We treat the security of group key exchange (GKE) in the universal composability (UC) framework. Analyzing GKE protocols in the UC framework naturally addresses attacks by maliciou...
165
click to vote
APN
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
140
click to vote
CONEXT
2008
ACM
15 years 6 months ago
2008
ACM
We present the design, implementation, and evaluation of a Time Division Multiplex (TDM) MAC protocol for multihop wireless mesh networks using a programmable wireless platform. E...