1055 search results - page 175 / 211 » Enumerations in computable structure theory |
LICS
2005
IEEE
14 years 1 months 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...
IUI
2005
ACM
14 years 1 months ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
SWS
2004
ACM
14 years 1 months ago
2004
ACM
W3C Recommendations XML Encryption and XML-Digital Signature can be used to protect the confidentiality of and provide assurances about the integrity of XML documents transmitted...
EICS
2010
ACM
14 years 26 days ago
2010
ACM
Modern User Interfaces (UI) must deal with the increasing complexity of applications as well as new features such as the capacity of UIs to be dynamically adapted to the context o...
CDC
2009
IEEE
14 years 15 days ago
2009
IEEE
— Given an arbitrary network of interconnected nodes, each with an initial value from a discrete set, we consider the problem of distributively disseminating these initial values...