1636 search results - page 99 / 328 » Reasoning About Quantum Systems |
157
click to vote
DBSEC
2010
15 years 7 months ago
2010
Abstract. We present a modelling language, called X-Policy, for webbased collaborative systems with dynamic access control policies. The access to resources in these systems depend...
174
click to vote
ATAL
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
152
click to vote
CONTEXT
2007
Springer
16 years 10 days ago
2007
Springer
Ambient intelligent systems are context aware by perceiving and reasoning about their environment, they perceive the needs of their users and proactively respond to these needs by ...
146
click to vote
EUROMICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
135
click to vote
IUI
2000
ACM
15 years 10 months ago
2000
ACM
In this paper, we describe an outline of “Procedure based help desk system”. Preparing enough amounts of contents for help desk system is important for constructing an efficie...