2529 search results - page 275 / 506 » The Logical Structure of Binding |
181
click to vote
ICSEA
2007
IEEE
16 years 29 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...
172
click to vote
LICS
2005
IEEE
16 years 7 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â€...
191
click to vote
CCS
2005
ACM
16 years 6 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...
184
click to vote
FPL
2005
Springer
16 years 5 days ago
2005
Springer
As the logic capacity of FPGA increases, there has been a corresponding increase in the variety of FPGA building blocks. From a mere collection of the conventional logic blocks, F...
155
click to vote
ISLPED
2004
ACM
16 years 2 days ago
2004
ACM
In this paper we investigate the statistics of multiplier operands and identify two characteristics of their distribution that have important consequences for the design of low po...