511 search results - page 52 / 103 » Composition of Semantic Relations: Model and Applications |
SIGDOC
2009
ACM
15 years 6 months ago
2009
ACM
One of the major issues for user assistance systems consists of “providing help at an appropriate level”. In this paper we analyze the problem of modeling task experience — ...
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
SPIN
2005
Springer
15 years 5 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
JIPS
2006
14 years 11 months ago
2006
: We present in this paper the methodology for automatic generation of OWL-S service model ontology along with the results and issues. First, we extract information related to atom...
SCW
2006
IEEE
15 years 5 months ago
2006
IEEE
One of the key aspects in the implementation of reactive behaviour in the web and, most importantly, in the semantic web is the development of event detection engines. An event en...