2293 search results - page 171 / 459 » Temporal Logic in Information Systems |
220
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
175
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
To improve the ability of predicting the impact scope of a given change, we present two approaches applicable to the maintenance of object-oriented software systems. Our first ap...
136
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
My paper discusses system consequence, which is a central idea in the project to lift the theory of information flow to the general level of universal logic and the theory of ins...
184
click to vote
EEMMAS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Collaborative Ubiquitous Environments (CUEs) are environments supporting collaboration among persons in a ubiquitous computing setting. This paper shows how results of th...
310
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
Composite (or Complex) event processing (CEP) systems search sequences of incoming events for occurrences of userspecified event patterns. Recently, they have gained more attentio...