3688 search results - page 659 / 738 » Static analysis of aspects |
IFIP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
133
click to vote
TABLEAUX
2009
Springer
15 years 6 months ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
121
click to vote
SIGMETRICS
2009
ACM
15 years 6 months ago
2009
ACM
Understanding the channel popularity or content popularity is an important step in the workload characterization for modern information distribution systems (e.g., World Wide Web,...
ALGOSENSORS
2007
Springer
15 years 6 months ago
2007
Springer
e for abstract modeling, algorithmic design and analysis to achieve provably efficient, scalable and fault-tolerant realizations of such huge, highly-dynamic, complex, non-conventi...
110
click to vote
IROS
2006
IEEE
15 years 6 months ago
2006
IEEE
— There is much to gain from providing walking machines with passive dynamics, e.g. by including compliant elements in the structure. These elements can offer interesting propert...