2776 search results - page 110 / 556 » System-Level Abstraction Semantics |
120
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...
155
click to vote
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We have been witnessing an explosion of user involvement in knowledge creation, publication and access both from within and between organisations. This is partly due to t...
129
click to vote
OTM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Learning Object Metadata (LOM) is an interoperable standard focused on enabling the reuse of learning material for authoring lessons. Nevertheless, few work was done on t...
138
click to vote
ICTAC
2004
Springer
15 years 9 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
130
click to vote
LOPSTR
2004
Springer
15 years 9 months ago
2004
Springer
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...