3229 search results - page 468 / 646 » Theories with the Independence Property |
181
click to vote
ATAL
2007
Springer
16 years 22 days ago
2007
Springer
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...
171
click to vote
CMSB
2007
Springer
16 years 22 days ago
2007
Springer
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...
193
click to vote
TARK
2007
Springer
16 years 20 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
179
click to vote
APLAS
2005
ACM
16 years 4 days ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
165
click to vote
VSTTE
2005
Springer
16 years 1 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...