1318 search results - page 20 / 264 » The formal semantics of the timeER model |
111
click to vote
AOSE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the...
146
click to vote
ACMICEC
2006
ACM
15 years 7 months ago
2006
ACM
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with “strangers”. This makes trust ...
136
click to vote
JAIR
2007
15 years 1 months ago
2007
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
121
click to vote
SEMWEB
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Conceptual modelling tools allow users to construct formal representations of their conceptualisations. These models are typically developed in isolation, unrelated to ot...
126
click to vote
APN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper, we define Time Petri Nets with Inhibitor Hyperarcs (IHTPN) as an extension of T-time Petri nets where time is associated with transitions. In this model, ...