2225 search results - page 220 / 445 » Logical Structures in the Lexicon |
157
click to vote
GLVLSI
2007
IEEE
16 years 28 days ago
2007
IEEE
A probabilistic power estimation technique for combinational circuits is presented. A novel set of simple waveforms is the kernel of this technique. The transition density of each...
158
click to vote
ICCAD
2007
IEEE
16 years 28 days ago
2007
IEEE
—In latency-insensitive design shell modules are used to encapsulate system components (pearls) in order to interface them with the given latency-insensitive protocol and dynamic...
180
click to vote
ICSEA
2007
IEEE
16 years 27 days ago
2007
IEEE
—As current software systems evolve continuously, both the application and its user interface (UI) have to be adapted. However, UI code is often scattered through and entangled w...
168
click to vote
LICS
2005
IEEE
16 years 5 days ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...
188
click to vote
CCS
2005
ACM
16 years 4 days ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...