2944 search results - page 432 / 589 » On Well Quasi-orders on Languages |
156
click to vote
ER
2009
Springer
16 years 1 months ago
2009
Springer
Creating an ontology and populating it with data are both labor-intensive tasks requiring a high degree of expertise. Thus, scaling ontology creation and population to the size of ...
161
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...
161
click to vote
ICMT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Model-driven software development often involves several related models. When models are updated, the updates need to be propagated across all models to make them consist...
166
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
New Internet services and technologies call for higher packet switching capacities in the core network. Thus, a performance bottleneck arises at the backbone routers, as forwarding...
144
click to vote
OTM
2009
Springer
16 years 1 months ago
2009
Springer
When automating work, it is often desirable to compensate completed work by undoing the work done by one or more activities. In the context of workflow, where compensation actions...