1318 search results - page 38 / 264 » The formal semantics of the timeER model |
111
Voted
WWW
2008
ACM
16 years 2 months ago
2008
ACM
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
169
click to vote
ODR
2008
15 years 3 months ago
2008
The paper has two goals: firstly, we explain how ontology mapping formalisms can be used to denote the many interpretations of a given legal concept; secondly, we provide a short c...
103
Voted
SERP
2003
15 years 3 months ago
2003
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
70
Voted
DATE
1998
IEEE
15 years 6 months ago
1998
IEEE
A formal definition of the general VHDLAMS analogue system has been proposed to relate the way in which the language affects the specification of a non-linear discontinuous analog...
116
click to vote
ESWS
2008
Springer
15 years 3 months ago
2008
Springer
In this paper, we introduce a formal email workflow model based on traditional email, which enables the user to define and execute ad-hoc workflows in an intuitive way. This model ...