1715 search results - page 304 / 343 » How Space Structures Language |
121
click to vote
DEXAW
2005
IEEE
15 years 8 months ago
2005
IEEE
Ontologies provide a means of modelling and representing a knowledge domain. Such representation, already used in purpose-built distributed information systems, can also be of gre...
113
click to vote
SEFM
2005
IEEE
15 years 7 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
ASPDAC
2005
ACM
15 years 7 months ago
2005
ACM
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
118
click to vote
CCS
2005
ACM
15 years 7 months 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...
113
click to vote
ICLP
2004
Springer
15 years 7 months ago
2004
Springer
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...