846 search results - page 112 / 170 » On the Evolution of IMEDIA Implementations |
MODELS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
PVLDB
2010
13 years 7 months ago
2010
Database systems often use XML schema to describe the format of valid XML documents. Usually, this format is determined when the system is designed. Sometimes, in an already funct...
TSE
2010
13 years 7 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
VL
2010
IEEE
13 years 7 months ago
2010
IEEE
Most spreadsheets, like other software, change over time. A frequently occurring scenario is the repeated reuse and adaptation of spreadsheets from one project to another. If seve...
VTC
2010
IEEE
13 years 7 months ago
2010
IEEE
—We evaluate the performance of the uplink of a 3GPP UTRAN Long Term Evolution (LTE) system with intra-site cooperation, where different sectors belonging to the same site may co...