10072 search results - page 268 / 2015 » Composition of Model Programs |
185
click to vote
IJWET
2008
15 years 5 months ago
2008
: Building service-based architectures has become a major area of interest since the advent of web services. Modelling these architectures is a central activity. Model-driven devel...
194
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Today, the Web is increasingly used as a platform for distributed services, which transcend organizational boundaries to form federated applications. Consequently, there is a grow...
170
click to vote
DATE
2006
IEEE
16 years 21 days ago
2006
IEEE
Enhancing productivity for designing complex embedded systems requires system level design methodology and language support for capturing complex design in high level models. For ...
189
click to vote
FCT
1999
Springer
15 years 11 months ago
1999
Springer
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
226
click to vote
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...