2673 search results - page 98 / 535 » Guided Static Analysis |
107
click to vote
VTC
2008
IEEE
15 years 7 months ago
2008
IEEE
— To support dynamic traffic-asymmetry property in future wireless communication systems, we propose a hybridTDD scheme, combination of static-TDD and dynamic-TDD. By using adap...
ENTCS
2006
15 years 1 months ago
2006
There are two main ways of defining secrecy of cryptographic protocols. The first version checks if the adversary can learn the value of a secret parameter. In the second version,...
122
click to vote
TCAD
2002
15 years 19 days ago
2002
The paper presents a novel strategy aimed at modelling instruction energy consumption of 32-bits microprocessors. Differently from former approaches, the proposed instruction-level...
SCP
2010
14 years 11 months ago
2010
One of the most challenging tasks a programmer can face is attempting to analyse and understand a legacy assembler system. Many features of assembler make analysis difficult, and ...
117
Voted
AOSE
2003
Springer
15 years 6 months ago
2003
Springer
This paper shows how to verify a Multi-Agent System specification using human organization metaphors. This proposal applies Activity Theory, which has its roots in Sociology, to st...