3921 search results - page 642 / 785 » Transforming Models with ATL |
125
Voted
SIGSOFT
2003
ACM
15 years 6 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
92
Voted
HICSS
2002
IEEE
15 years 5 months ago
2002
IEEE
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
100
Voted
EDBT
2009
ACM
15 years 5 months ago
2009
ACM
We consider a near future scenario in which users of a Web 2.0 application, such as a social network, contribute to the application not only data, but also rules which automatical...
121
click to vote
ER
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. The process industries (chemicals, food, oil, ...) are characterized by - continuous or batch -- processes of material transformation. The design of such processes, and t...
109
click to vote
APN
1993
Springer
15 years 4 months ago
1993
Springer
In this paper we show how to extend Coloured Petri Nets (CP-nets), with three new modelling primitives—place capacities, test arcs and inhibitor arcs. The new modelling primitiv...