2673 search results - page 98 / 535 » Guided Static Analysis |
129
Voted
VTC
2008
IEEE
15 years 10 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...
124
Voted
ENTCS
2006
15 years 3 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,...
145
Voted
TCAD
2002
15 years 3 months 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...
100
Voted
SCP
2010
15 years 2 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 ...
140
Voted
AOSE
2003
Springer
15 years 9 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...