1419 search results - page 225 / 284 » Notes on Formalizing Context |
ESORICS
2007
Springer
15 years 4 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
104
Voted
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
Many Web applications are based on dynamic interactions between Web components exchanging flows of information. Such a situation arises for instance in mashup systems or when moni...
91
Voted
ACOM
2004
Springer
15 years 4 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
81
Voted
ACSD
2004
IEEE
15 years 4 months ago
2004
IEEE
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...
81
Voted
ASIAN
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...