4469 search results - page 512 / 894 » A Language for Role Specifications |
189
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
184
click to vote
FMCO
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
142
click to vote
ACL
2008
15 years 8 months ago
2008
This paper is concerned with the problem of question search. In question search, given a question as query, we are to return questions semantically equivalent or close to the quer...
159
click to vote
AMW
2010
15 years 8 months ago
2010
Abstract. We study the problem of instance level (ABox) updates for Knowledge Bases (KBs) represented in Description Logics of the DL-Lite family. DLLite is at the basis of OWL 2 Q...
182
click to vote
HCI
2007
15 years 8 months ago
2007
Abstract. In this paper, we address the task of affect recognition from text messaging. In order to sense and interpret emotional information expressed through written language, ru...