106 search results - page 1 / 22 » Policy Analysis Using a Hybrid Semantic Reasoning Engine |
POLICY
2007
Springer
13 years 11 months ago
2007
Springer
MOBIQUITOUS
2007
IEEE
13 years 11 months ago
2007
IEEE
— According to the IETF definition, “presence conveys the ability and willingness of a user to communicate across a set of devices”. In this paper we use semantic techniques ...
DLOG
1997
13 years 6 months ago
1997
Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...
SEMWEB
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. Policies are declarations of constraints on the behaviour of components within distributed systems, and are often used to capture norms within agent-based systems. A few ...
ENTCS
2008
13 years 4 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...