1612 search results - page 254 / 323 » About models of security protocols |
134
click to vote
OOPSLA
2010
Springer
14 years 12 months ago
2010
Springer
Models are important artifacts in the software development life-cycle and are often the result of a collaborative activity of multiple developers. When multiple developers modify ...
118
click to vote
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
128
click to vote
TLDI
2009
ACM
15 years 10 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
117
click to vote
IWCMC
2006
ACM
15 years 7 months ago
2006
ACM
Cross-Layer design has been the focus of several recent research efforts. Due to the highly variable nature of the links used in wireless communication systems and the resource-po...
135
click to vote
JSAC
2007
15 years 1 months ago
2007
Abstract— Cooperative diversity facilitates spatio-temporal communications without requiring the deployment of physical antenna arrays. While physical layer studies on cooperativ...