1318 search results - page 97 / 264 » The formal semantics of the timeER model |
200
click to vote
COMMA
2010
15 years 1 months ago
2010
Abstract. This paper argues that accrual should be modelled in terms of reasoning about the application of preferences to sets of arguments, and shows how such reasoning can be for...
171
click to vote
ASM
2003
ASM
15 years 11 months ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
160
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
This paper formulates a collaborative system for modeling business application. The system uses a Semantic Wiki to enable collaboration between the various stakeholders involved i...
167
click to vote
IJSWIS
2007
15 years 6 months ago
2007
In a semantic environment data is described by ontologies and ontology mapping has become a crucial aspect in solving the heterogeneity problems of semantically described data. Th...
182
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Social commitments have been increasingly used to model inter-agent dependencies and normative aspects of multiagent systems such as the semantics of agent communication. However,...