1318 search results - page 79 / 264 » The formal semantics of the timeER model |
114
click to vote
JODS
2006
15 years 1 months ago
2006
Abstract. Many problems in Information and Data Management require a semantic account of a database schema. At its best, such an account consists of formulas expressing the relatio...
124
click to vote
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
131
click to vote
SAC
2003
ACM
15 years 7 months ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
138
click to vote
AOSE
2001
Springer
15 years 6 months ago
2001
Springer
In this paper, we present a social model for software agent conversations for action based on social commitments and their negotiation. We depart from the premises that conversati...
132
click to vote
CCGRID
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents an ontology-based conceptual mapping framework that translates a formal and visually rich business process modeling (BPM) language, Fundamental Business Proces...