456 search results - page 39 / 92 » Semantic Foundations of Jade |
ISI
2008
Springer
13 years 8 months ago
2008
Springer
Identity Management plays a crucial role in many application contexts, including e-governments, e-commerce, business intelligence, investigation, and homeland security. The variet...
IUI
2009
ACM
14 years 5 months ago
2009
ACM
We motivate the need for new environments for collaborative reasoning and describe the foundations of our approach, namely collaboration, semantics, and adaptability. We describe ...
FOSSACS
2004
Springer
14 years 2 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
KI
2009
Springer
14 years 1 months ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
ACSAC
1999
IEEE
14 years 1 months ago
1999
IEEE
Coordinating security policies in information enclaves is challenging due to their heterogeneity and autonomy. Administrators must reconcile the semantic diversity of data and sec...