870 search results - page 88 / 174 » The MT model transformation language |
156
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
181
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
One of the main drawbacks of the Semantic Web is the lack of semantically rich data, since most of the information is still stored in relational databases. In this paper, we presen...
148
click to vote
ER
2001
Springer
15 years 10 months ago
2001
Springer
: In electronic commerce, two fundamental types of models are business models and process models. While a business model is concerned with value exchanges between actors, a process...
204
click to vote
OSDI
2008
ACM
15 years 8 months ago
2008
ACM
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...
184
click to vote
AGTIVE
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...