5671 search results - page 704 / 1135 » A Semantic Approach to Interpolation |
156
click to vote
IEEEARES
2006
IEEE
16 years 1 months ago
2006
IEEE
In highly open systems like the Internet, attribute-based access control (ABAC) has proven its appropriateness. The specification and maintenance of ABAC policies however has tur...
187
click to vote
IEEESCC
2006
IEEE
16 years 1 months ago
2006
IEEE
Although workflow languages are widely used for composing discrete services, these are not suitable for stream based interactions. In this paper we address the problem of how to ...
187
click to vote
ARGMAS
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments th...
183
click to vote
CAISE
2005
Springer
16 years 17 days ago
2005
Springer
Ontologies are the core component in semantic Web applications. The employment of an ontology building method affects the quality of ontology and the applicability of ontology lang...
174
click to vote
CALCO
2005
Springer
16 years 17 days ago
2005
Springer
We propose a coalgebraic model of the Fusion calculus based on HD-automata. The main advantage of the approach is that the partition refinement algorithm designed for HD-automata ...