5451 search results - page 630 / 1091 » Typed Operational Semantics |
200
Voted
BMCBI
2006
15 years 6 months ago
2006
Background: Systems biologists work with many kinds of data, from many different sources, using a variety of software tools. Each of these tools typically excels at one type of an...
197
click to vote
ASPLOS
2006
ACM
16 years 23 days ago
2006
ACM
Virtualization is increasingly being used to address server management and administration issues like flexible resource allocation, service isolation and workload migration. In a...
182
click to vote
OTM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The goal of Model Management is the development of new technologies and mechanisms to support the integration, evolution and matching of models. Such tasks are to be perf...
199
click to vote
PODS
2010
ACM
15 years 12 months ago
2010
ACM
In the last few years, a lot of attention has been paid to the specification and subsequent manipulation of schema mappings, a problem which is of fundamental importance in metad...
187
Voted
LOPSTR
1997
Springer
15 years 11 months ago
1997
Springer
Schema-based program transformation [8] has been proposed as an effective technique for the optimisation of logic programs. Schemata are applied to a logic program, mapping ineffi...