Sciweavers

1830 search results - page 99 / 366
» Centering in Dynamic Semantics
Sort
View
ICCS
2007
Springer
15 years 5 months ago
Dynamic Epistemic Logic and Knowledge Puzzles
We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also ...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
AUSAI
2004
Springer
15 years 4 months ago
A Logic Based Approach for Dynamic Access Control
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...
Vino Fernando Crescini, Yan Zhang
FMCO
2004
Springer
120views Formal Methods» more  FMCO 2004»
15 years 4 months ago
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
Einar Broch Johnsen, Olaf Owe
SIGMOD
2005
ACM
153views Database» more  SIGMOD 2005»
15 years 11 months ago
Tools for composite web services: a short overview
Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques ...
Richard Hull, Jianwen Su
SIGLEX
1991
15 years 2 months ago
Conventional Metaphor and the Lexicon
Metaphor and other forms of non-literal language are essential parts of language which have direct bearing on theories of lexical semantics. Neither narrow theories of lexical sem...
James H. Martin