1318 search results - page 40 / 264 » The formal semantics of the timeER model |
141
click to vote
JITECH
2010
14 years 8 months ago
2010
Formal models of business processes are used for a variety of purposes. But where the elicitation of the characteristics of a business process usually takes place in a collaborati...
100
click to vote
ACMSE
2010
ACM
14 years 12 months ago
2010
ACM
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...
119
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
119
Voted
FASE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
101
click to vote
CAISE
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we introduce GMD, an abstract but rich data model for representing multidimensional information, equipped with logicbased semantics and seamlessly integrated with a f...