1318 search results - page 58 / 264 » The formal semantics of the timeER model |
145
click to vote
EDOC
2009
IEEE
15 years 5 months ago
2009
IEEE
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...
153
click to vote
JMLR
2012
13 years 4 months ago
2012
Open-text semantic parsers are designed to interpret any statement in natural language by inferring a corresponding meaning representation (MR – a formal representation of its s...
131
click to vote
EDOC
2005
IEEE
15 years 7 months ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
211
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
112
click to vote
TAPSOFT
1997
Springer
15 years 6 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...