1318 search results - page 137 / 264 » The formal semantics of the timeER model |
194
click to vote
ISPA
2005
Springer
15 years 12 months ago
2005
Springer
The wide scale usage of OWL for the formalization of real-world ontologies is currently influenced by important limitations which concern both its expressivity and the efficiency ...
173
click to vote
SAC
2005
ACM
16 years 16 hour ago
2005
ACM
Finding rapidly suitable experts in an organization to compose a team able to solve specific tasks is a typical problem in large consulting firms. In this paper we present a Des...
158
click to vote
ESWS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...
148
click to vote
CONTEXT
2007
Springer
16 years 19 days ago
2007
Springer
In this paper we provide a formalization of a set of default rules that we claim are required for the transfer of information such as causation, event rate and duration in the inte...
158
click to vote
CORR
2009
Springer
15 years 4 months ago
2009
Springer
Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and it...